The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
End-to-end encrypted cloud for everything.
Modular ZK(Zero Knowledge) backend accelerated by GPU
The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
The Nexus zkVM: The zero-knowledge virtual machine
FISCO BCOS(Fa Yin Wei /'fIskl bi:'kaz/)Shi Yi Ge Wen Ding , Gao Xiao , An Quan De Xu Ke Qu Kuai Lian Ping Tai ,Yi Bei Yan Fan Ying Yong Yu Xian Shi De Xing Ye Ying Yong . Jie Zhi Mu Qian ,Yi Yong You 5000Duo Jia Qi Shi Ye Dan Wei ,400Duo Ge Chan Ye Shu Zi Hua Biao Gan Ying Yong ,Han Gai Wen Hua Ban Quan , Si Fa Fu Wu , Zheng Fu Fu Wu , Wu Lian Wang , Jin Rong , Zhi Hui She Qu , Fang Di Chan Jian She , She Qu Zhi Li , Xiang Cun Zhen Xing Deng Ling Yu . FISCO BCOS (pronounced /'fIskl bi:'kaz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Ling Zhi Shi Zheng Ming Ru Men Jiao Cheng . Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
A toolbox for zkSNARKs on Ethereum
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
SP1 is a zero-knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Anonymous. Uncensored. Sovereign.
Noir is a domain specific language for zero knowledge proofs
ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.
A zkVM for Decentralized Private Computations (DPC)
Rust implementation of Ziesha protocol
A zero-knowledge protocol for anonymous interactions.
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
The Halo2 zero-knowledge proving system
Add a description, image, and links to the zero-knowledge topic page so that developers can more easily learn about it.
To associate your repository with the zero-knowledge topic, visit your repo's landing page and select "manage topics."