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. ingonyama-challenges ingonyama-challenges Public

   My solution to the ingonyama challenges

   Rust

6. bytecode-virtual-machine bytecode-virtual-machine Public

   Implementation of the Crafting Interpreters' Bytecode Virtual Machine

   C