Hexens / piller
Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines
☆11Updated last year
Alternatives and similar repositories for piller:
Users that are interested in piller are comparing it to the libraries listed below
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- ☆19Updated 5 months ago
- Contains several examples and challenges to use Lambdaworks☆15Updated 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
- Mutation testing tool for circom☆16Updated last year
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆19Updated last month
- Write-ups submitted by CTF participants☆34Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆30Updated 2 months ago
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated last year
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆19Updated last year
- ☆12Updated last year
- an introduction to noir, with simple examples☆42Updated last year
- Blog☆22Updated last year
- My personal notebook for various zk-related topics☆47Updated last week
- Example of the whitehack for Curve exploit 30/07/23☆19Updated last year
- ☆11Updated last year
- Reproduce ZKP vulnerabilities☆45Updated 3 months ago
- MEV Olympics☆44Updated last month
- Honk Verifier in Solidity☆49Updated 3 months ago
- ☆48Updated 10 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- ☆12Updated last month
- ☆10Updated last year
- ☆39Updated 2 years ago