Xor0v0's repositories
ZK-Puzzle-Writeups
A writeup collection of zk-related puzzles
Pairing-for-Chinese-Beginners
适合中国宝宝体质的 Pairing 教程 with SageMath
cairo-book
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
Language:JavaScriptMIT000
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Language:RustApache-2.0000
Language:JavaScript000
Language:Solidity000
ingopedia
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
MIT000
rcli
Rust CLI code
Language:Rust000
risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Language:C++Apache-2.0000
Spartan
Spartan: High-speed zkSNARKs without trusted setup
MIT000
WTF-Cairo
学习Starknet Cairo智能合约。 Learn to write smart contracts on Starknet. Based on Cairo 2.2.
Language:CairoMIT000
WTF-zk
零知识证明入门教程。
Language:Jupyter NotebookMIT000
Xor0v0
Config files for my GitHub profile.
000
zk-security-reviews
Collection of security reviews of ZK Protocols
000
Language:CSS000