hellsegga-xyz / 055-contractLinks
Contracts and Circuits for 055 Artifacts
☆10Updated 3 years ago
Alternatives and similar repositories for 055-contract
Users that are interested in 055-contract are comparing it to the libraries listed below
Sorting:
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 4 years ago
- ☆46Updated 4 years ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆48Updated 3 years ago
- ☆41Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 3 years ago
- My journey learning zero knowledge proof technologies in public! Feedback, help and contributions very much welcome☆65Updated 4 years ago
- ☆40Updated 3 years ago
- ☆22Updated 3 years ago
- Minimal Yul Transpilation to the Miden VM☆52Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆72Updated 3 years ago
- A tool for single Ethereum archival block state proofs.☆35Updated 2 years ago
- Smart Contracts for July 2022 Demo☆49Updated 3 years ago
- Introduction to core development via CTF challenges☆41Updated 3 years ago
- Share private EVM state attestations using STARK proofs☆73Updated 3 years ago
- Axiom smart contracts☆26Updated 2 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆35Updated 3 years ago
- My playgrounderino for starkneterino☆13Updated 4 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- ☆34Updated 2 years ago
- A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.☆30Updated 3 years ago
- Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer☆13Updated 2 years ago
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆16Updated 2 years ago
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Updated 3 years ago
- an introduction to noir, with simple examples☆44Updated last year
- Elliptic Curve arithmetic operations written in Noir☆16Updated 3 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Trust-minimized commitment pools with zkSNARKs☆38Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 3 years ago