emilianobonassi / zkml-community-calls
notes for community call for ZKML Community
☆19Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for zkml-community-calls
- neural network inference standard for zero-knowledge-proof systems☆33Updated last year
- ☆34Updated last year
- ☆39Updated 2 years ago
- repository for core circom and smart contract☆12Updated last year
- Axiom smart contracts☆27Updated last year
- Proof contribute to github using zk☆24Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- Trust-minimized commitment pools with zkSNARKs☆40Updated last year
- ☆22Updated 2 years ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- compiler tooling for Stark-based zkVMs☆15Updated last year
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Updated last year
- Writing MACI circuits in Noir☆16Updated last year
- storage proof made by sp1☆24Updated 2 months ago
- Noir implementation of BattleZips circuits☆27Updated last year
- Breathe air☆22Updated 6 months ago
- Curta CTF #12☆20Updated last year
- Using folding schemes for a provable bitcoin light client☆28Updated 6 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.☆30Updated 2 years ago
- Honk Verifier in Solidity☆49Updated last month
- Circuits used by heyanon☆21Updated 2 years ago
- A graph library built with Cairo☆28Updated 2 years ago
- Proving shortest paths with recursive SNARKs☆12Updated last year
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆32Updated 6 months ago
- ☆32Updated last year
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆23Updated last year
- My personal notebook for various zk-related topics☆48Updated 7 months ago