geometers / o1js-blobstreamLinks
☆11Updated 8 months ago
Alternatives and similar repositories for o1js-blobstream
Users that are interested in o1js-blobstream are comparing it to the libraries listed below
Sorting:
- Export Circom verifier to Cairo☆49Updated 3 years ago
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago
- Rescue and Poseidon hash function implementations☆43Updated 9 months ago
- Email verification circuit in halo2☆68Updated 11 months ago
- Polynomials Identity Language☆69Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 3 years ago
- RISC-V prover system for ZKsync OS☆25Updated this week
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- ☆38Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆50Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆55Updated 8 months ago
- ☆2Updated last year
- ☆17Updated 9 months ago
- ☆25Updated 3 weeks ago
- ☆35Updated last year
- ☆94Updated 9 months ago
- ☆61Updated last year
- Circuit infrastructure for Aztec 3.0☆13Updated 2 years ago
- AppliedZKP's zkEVM Documentation☆25Updated 11 months ago
- A collection of works discussing the security aspects of StarkNet☆40Updated 5 months ago
- A monorepo of reusable Noir circuits.☆43Updated last month
- Solidity implementation of Nova proving system verifier☆63Updated last year
- ☆40Updated 7 months ago
- OS for next iteration of the world computer☆43Updated last year
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆49Updated 2 years ago