David Wong's repositories
cargo-dephell
Cargo dephell analyzes the third-party dependencies of a Rust workspace
cargo-specification
The code is the spec
blockbreakers
Learn how to break block ciphers
better-ocaml
A program that parses OCaml errors to display them in a more readable format
proof-systems
The proof systems used by Mina
rust-bitcoin
Rust Bitcoin library
yellowpaper
The "Yellow Paper": Ethereum's formal specification
alinush.github.io
Personal website
circom
zkSnark circuit compiler
circom_tester
Provides tools for testing circom circuits.
draft-irtf-cfrg-sigma-protocols
This is only the beginning.
gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
mina_bridge
Bridge from Mina to Ethereum
noname-playground
A code playground for the Noname ZK programming language
owasp-threat-dragon
An open source, online threat modelling tool from OWASP
robot_stuff
A game where people fight against time to find the shortest solution
snark
Interfaces for Relations and SNARKs for these relations
starknet-contracts
the Ethereum contracts for Starknet