pluto / circom-correctly-constrained
a reference on testing and constraining circom
☆16Updated last month
Related projects ⓘ
Alternatives and complementary repositories for circom-correctly-constrained
- Noir library to verify JWT tokens, and prove claims.☆13Updated last week
- ☆17Updated last year
- ☆12Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆10Updated last year
- Circuits for Pluto's `web-prover`☆12Updated this week
- ☆46Updated 8 months ago
- Nova-based SHA256 benchmarks☆30Updated 7 months ago
- ☆17Updated last year
- Axiom smart contracts☆27Updated last year
- halo2-lib-eddsa☆11Updated 9 months ago
- ☆10Updated last year
- Andromeda revm execution service☆30Updated 4 months ago
- ☆28Updated 2 years ago
- a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness☆47Updated last year
- Polynomial Expression Engine☆34Updated 9 months ago
- Based on https://eprint.iacr.org/2022/1510☆23Updated last month
- A Solidity implementation of Halo2's Pasta curves☆48Updated last year
- ☆17Updated 8 months ago
- An arkworks implementation of the superspartan PIOP☆14Updated 2 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated last week
- ☆32Updated 10 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆27Updated last week
- MiMC implementation in Halo2☆9Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- Proving shortest paths with recursive SNARKs☆12Updated last year
- ☆26Updated 9 months ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- ☆14Updated last year