thor314 / uncloak-hwLinks
☆10Updated 2 years ago
Alternatives and similar repositories for uncloak-hw
Users that are interested in uncloak-hw are comparing it to the libraries listed below
Sorting:
- A collection of resources relevant to the PSE Security Team.☆12Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Curta CTF #12☆20Updated 2 years ago
- A Brainfuck zkVM with Circom.☆61Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated 2 years ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆24Updated 3 years ago
- A monorepo of reusable Noir circuits.☆47Updated last week
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆48Updated 3 years ago
- barretenburg in rust (here we go)☆99Updated 2 years ago
- RLN on KZG☆21Updated 2 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- The moment you Rust, you should look for your Mojo 🔥.☆21Updated 2 years ago
- Rust implementation of KZG point evaluation☆35Updated 5 months ago
- ☆50Updated last year
- Honk Verifier in Solidity☆50Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Updated 2 years ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆37Updated this week
- Export Circom verifier to Cairo☆49Updated 3 years ago
- ☆40Updated 3 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- KZG commitments over BLS12-381☆37Updated 3 years ago
- ☆37Updated 3 years ago
- My personal notebook for various zk-related topics☆48Updated last year
- Rust bindings for Solidity's AST and visitors☆50Updated 2 years ago
- ☆31Updated 3 years ago
- ☆33Updated 2 years ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated 2 years ago
- Noir implementation of BattleZips circuits☆28Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- ☆30Updated last year