Hexens / piller
Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
☆11Updated last year
Related projects ⓘ
Alternatives and complementary repositories for piller
- ☆19Updated 3 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- Code used in a recent presentation showing off noir storage proofs☆13Updated last year
- ☆12Updated last year
- Reproduce ZKP vulnerabilities☆43Updated last month
- ☆10Updated 11 months ago
- Mutation testing tool for circom☆16Updated last year
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated last year
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- MEV Olympics☆44Updated 2 years ago
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated 11 months ago
- ☆18Updated last year
- an introduction to noir, with simple examples☆42Updated 10 months ago
- POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors☆40Updated 4 months ago
- Blog☆22Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆25Updated this week
- ☆63Updated last year
- ☆39Updated 2 years ago
- BigInt library for Aztec's noir language☆31Updated 8 months ago
- Solidity By Example rewritten in Huff, the most based low-level EVM language.☆33Updated 9 months ago
- ☆11Updated last year
- ☆11Updated 8 months ago
- My personal notebook for various zk-related topics☆48Updated 7 months ago
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆14Updated last year
- Honk Verifier in Solidity☆49Updated last month