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
Sorting:
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated last year
- ☆18Updated 2 months ago
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- ☆12Updated last year
- ☆12Updated last year
- Blog☆22Updated last year
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 4 months ago
- Code used in a recent presentation showing off noir storage proofs☆14Updated last year
- ☆11Updated last year
- Mutation testing tool for circom☆16Updated last year
- A curated list of awesome resources for learning and programming with Circom☆24Updated 2 years ago
- ☆19Updated last year
- Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas☆15Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated last year
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- Content for Electisec Reports Site☆27Updated last week
- An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.☆16Updated 7 months ago
- ☆63Updated 2 years ago
- Tstore huff template☆17Updated last year
- Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff☆25Updated 2 years ago
- a noir library for multiparty computation primitives☆14Updated last month
- Example code for testing using Echidna explained during the Spearbit presentation☆40Updated 2 years ago
- unhacked challenge 1: reaper☆41Updated 2 years ago
- MEV Olympics☆45Updated 5 months ago
- ☆43Updated last year
- Write-ups submitted by CTF participants☆35Updated last year
- unhacked challenge 2: schnoodle☆21Updated 2 years ago