martyall
Follow
-
-
-
-
-
o1js Public
Forked from o1-labs/o1jsTypeScript framework for zk-SNARKs and zkApps
TypeScript Apache License 2.0 UpdatedApr 17, 2025 -
proof-systems Public
Forked from o1-labs/proof-systemsThe proof systems used by Mina
Rust Apache License 2.0 UpdatedApr 17, 2025 -
proptest Public
Forked from proptest-rs/proptestHypothesis-like property testing for Rust
Rust Apache License 2.0 UpdatedFeb 22, 2025 -
-
-
-
circom-compat Public
Forked from arkworks-rs/circom-compatArkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust Apache License 2.0 UpdatedApr 16, 2024 -
-
propagators Public
Forked from ekmett/propagatorsThe Art of the Propagator. See also:
Haskell Other UpdatedApr 1, 2024 -
purescript-ocelot Public
Forked from citizennet/purescript-ocelotAn opinionated component library for Halogen apps
PureScript Apache License 2.0 UpdatedMar 22, 2024 -
-
-
-
-
-
galois-field Public
Forked from sdiehl/galois-fieldFinite field and algebraic extension field arithmetic
Haskell MIT License UpdatedJan 3, 2024 -
snarkl Public
Forked from sellout/snarkl -
-
arkworks-bridge Public
Importing R1CS and witness files into arkworks via json
-
keelung Public
Forked from btq-ag/keelungThe Keelung Language
Haskell Apache License 2.0 UpdatedDec 4, 2023 -
categorifier Public
Forked from con-kitty/categorifierInterpret Haskell programs into any cartesian closed category.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 1, 2023 -
-
-
circ Public
Forked from circify/circ(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Rust Other UpdatedNov 3, 2023 -
clash-compiler Public
Forked from clash-lang/clash-compilerHaskell to VHDL/Verilog/SystemVerilog compiler
Haskell Other UpdatedOct 31, 2023 -