Hexens / piller
Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
☆11Updated 2 years ago
Alternatives and similar repositories for piller:
Users that are interested in piller are comparing it to the libraries listed below
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- ☆18Updated last week
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- ☆12Updated last year
- ☆12Updated last year
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated last year
- ☆19Updated last year
- Blog☆22Updated last year
- Reproduce ZKP vulnerabilities☆55Updated last week
- Tstore huff template☆17Updated last year
- Mutation testing tool for circom☆16Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 3 months ago
- Honk Verifier in Solidity☆49Updated 4 months ago
- ☆47Updated 4 months ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆11Updated 8 months ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- ☆39Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- ☆63Updated last year
- SMT 2023 Submission; license pending☆53Updated 3 months ago
- ZK Fault Proofs for Optimistic Rollups☆30Updated this week
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Updated last year
- ☆10Updated last year