Mach 34's repositories
aztec-state-channels
Utilising aztec.nr Kernel Proof recursion to create a form of zk state channels
battlezips-noir-channels
ZK State Channels for Battleships in Noir
grapevine-sonobe
Grapevine using sonobe cyclefold (dep mismatch so can't be crate in main repo)
ExothermicEntropy
KZG Commitment using Entropy from a Seismometer
Language:Dockerfile000
halo2_backend_docs
Docs for halo2_backend
Language:JavaScript000
rollup-noir
f it rollup in noir
Language:Solidity000
Language:Jupyter Notebook000
snark-verifier-tests
Foundry project to test snark verifiers
Language:Yul000
Language:Rust000
Language:C++Apache-2.0000
babyjubjub-ecdsa
Circuits for making ZK proofs about Baby Jub Jub ECDSA signature
Language:TypeScriptMIT000
Language:C++Apache-2.0000
bjj-ecdsa-nova-browser-test
Test implementation of BJJ-ECDSA folding in browser
Language:JavaScript000
landing-page
Landing page for Mach 34
Language:TypeScript000
noir
Noir is a domain specific language for zero knowledge proofs
Language:RustApache-2.0000
Noir-Halo2
Backend for writing Halo2 circuits with Noir
Language:RustGPL-3.0000
Nova-Scotia
Middleware to compile Circom circuits to Nova prover
Language:JavaScriptMIT000
the-word-feed-server
ZuPass Feed Server for The Word
Language:TypeScript000
Language:TypeScript000
zk-git
ZK Proofs of Git Commits
Language:RustApache-2.0000
zupass
Zuzalu Passport
Language:TypeScript000