Pinned Loading

1. zksecurity/mina-attestations zksecurity/mina-attestations Public

   Private Attestations for Mina wallets

   TypeScript 16 6

2. lox-interpreter-rs lox-interpreter-rs Public

   A Lox interpreter in Rust based on Robert Nystrom's book

   Rust 1

3. circuit-compiler circuit-compiler Public

   Mini circuit compiler: converts arithmetic expressions to SSA form and constraint systems for zero-knowledge proofs.

   Rust

4. HACKSTIR HACKSTIR Public

   Gnark implementation of the STIR protocol

   Go 1

5. palladians/pallad palladians/pallad Public

   Progressive Mina Protocol Wallet

   TypeScript 30 18

6. ingonyama-challenges ingonyama-challenges Public

   My solution to the ingonyama challenges

   Rust