Schaeff / pilspector
π
β15Updated 2 years ago
Alternatives and similar repositories for pilspector:
Users that are interested in pilspector are comparing it to the libraries listed below
- β14Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworksβ16Updated 2 years ago
- MiMC implementation in Halo2β9Updated 2 years ago
- β13Updated last year
- Prove multi-opens of EIP-4844 KZG blobsβ14Updated last year
- An implementation of Sangriaβ17Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuitsβ30Updated last year
- Better assertion macros for pure Huff tests.β19Updated last year
- Groth16 verifier in EVMβ21Updated last year
- Blind signatures over elliptic curve implementation (native & r1cs constraints).β13Updated 2 years ago
- β17Updated 2 years ago
- β18Updated 2 years ago
- [wip] implementing origami VDFβ13Updated 2 years ago
- β28Updated 3 years ago
- plonky2 implementation of bn254 pairingβ18Updated last year
- Code used in a recent presentation showing off noir storage proofsβ14Updated last year
- Batching zero over k checksβ11Updated 2 years ago
- β11Updated 4 years ago
- Write Zero Knowledge Circuits in Solidityβ13Updated last year
- verify cairo execution in Halo2β16Updated last year
- β12Updated last year
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406β10Updated last year
- Highly experimental fault-proof program for Optimism Bedrockβ20Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.β29Updated last year
- β11Updated last year
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNARβ¦β11Updated last year
- compiler tooling for Stark-based zkVMsβ16Updated 2 years ago
- β12Updated 3 years ago
- An arkworks implementation of the superspartan PIOPβ13Updated 6 months ago
- BN254 Pairing Implementation in Noirβ22Updated last year