0xThemis

TACEO

Pinned Repositories

AoC2023
Language:Rust30
bash_scripts
Language:Lua00
zkllvm-assigner
Language:C++12 9 8211
awesome-noir
A curated list of awesome things related to learning and programming in Noir.
339 15 562
noir
Noir is a domain specific language for zero knowledge proofs
Language:Rust876 18 2.3k190
collaborative-circom
Tooling for creating collaborative SNARKs for Circom circuits.
Language:Rust63 2 826
noir-GMiMC
Language:Roff8 2 01
noir-griffin
Language:Roff5 3 01
zkllvm-mlir-assigner
Language:ReScript3 2 01
zkAutochess
A zkAutochess
Language:Solidity6 0 00