Schaeff / pilspector
π
β15Updated last year
Related projects β
Alternatives and complementary repositories for pilspector
- MiMC implementation in Halo2β9Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobsβ14Updated last year
- β18Updated last year
- β11Updated 3 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworksβ16Updated last year
- Highly experimental fault-proof program for Optimism Bedrockβ20Updated last year
- Groth16 verifier in EVMβ20Updated last year
- Code used in a recent presentation showing off noir storage proofsβ13Updated last year
- Better assertion macros for pure Huff tests.β19Updated last year
- An implementation of Sangriaβ18Updated last year
- β12Updated last year
- β17Updated last year
- Solidity verifier for Recursive Proof Composition using Plonkβ12Updated 3 years ago
- β14Updated 2 years ago
- β10Updated 9 months ago
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNARβ¦β11Updated last year
- β17Updated 7 months ago
- Starky implementation of Bls12-381β12Updated 5 months ago
- plonky2 implementation of bn254 pairingβ18Updated 9 months ago
- Rust port of c-kzg-4844β15Updated 9 months ago
- β14Updated 3 years ago
- Early prototype.β23Updated last year
- Draft documents for standardization of Plonkish arithmetizationβ23Updated 7 months ago
- https://eprint.iacr.org/2020/1516.pdfβ19Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuitsβ31Updated 8 months ago
- BN254 Pairing Implementation in Noirβ20Updated last year
- A Cairo VM prover implemented using Winterfellβ16Updated last year
- Base64 decoding circuit in halo2β14Updated last year