Hexens / pillerLinks
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
- ☆17Updated 4 months ago
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated last year
- Contains several examples and challenges to use Lambdaworks☆14Updated last year
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- ☆31Updated last year
- ☆12Updated last year
- Blog☆22Updated last year
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆13Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- ☆47Updated 9 months ago
- ☆19Updated last year
- Honk Verifier in Solidity☆50Updated 8 months ago
- Code used in a recent presentation showing off noir storage proofs☆15Updated last year
- A collection of all the project ideas involving zk, blockchains & what not☆23Updated last year
- Mutation testing tool for circom☆16Updated last year
- simple zk implementations in python☆26Updated last year
- a noir library for multiparty computation primitives☆18Updated 2 months ago
- Directory with previous Curta puzzlest that were hosted on Curta.wtf☆10Updated 11 months ago
- A monorepo of reusable Circom circuits.☆26Updated 2 weeks ago
- MEV Olympics☆44Updated 6 months ago
- an introduction to noir, with simple examples☆44Updated last year
- Axiom smart contracts☆26Updated last year
- A Brainfuck zkVM with Circom.☆60Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 6 months ago
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated last year
- halo2-lib-eddsa☆11Updated last year
- POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors☆42Updated 11 months ago