recmo / binius
☆19Updated this week
Related projects: ⓘ
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆28Updated 2 years ago
- ☆39Updated last year
- Axiom smart contracts☆27Updated last year
- Code used in a recent presentation showing off noir storage proofs☆13Updated last year
- plonky2 implementation of bn254 pairing☆18Updated 7 months ago
- ☆14Updated 10 months ago
- Cryptographic protocols☆36Updated last year
- ☆32Updated 8 months ago
- ☆44Updated 6 months ago
- BN254 Pairing Implementation in Noir☆20Updated last year
- Implementation of the Grumpkin curve in Rust.☆28Updated last year
- ☆17Updated 6 months ago
- Groth16 verifier in EVM☆20Updated last year
- an introduction to noir, with simple examples☆43Updated 8 months ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆46Updated last year
- verify cairo execution in Halo2☆17Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆32Updated last week
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Andromeda revm execution service☆29Updated last month
- compiler tooling for Stark-based zkVMs☆15Updated last year
- Nova-based SHA256 benchmarks☆29Updated 5 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- MiMC implementation in Halo2☆9Updated 2 years ago
- polynomial commitments from linear codes☆35Updated 11 months ago
- RLN circuits in Circom☆29Updated 2 months ago
- ☆13Updated this week
- ☆17Updated last year
- RLN on KZG☆16Updated last year
- Frobenius sumcheck for vectorized boolean ops☆30Updated 3 weeks ago