A Decentralized Operating System for ZK Applications
-
Updated
May 17, 2024 - Rust
A Decentralized Operating System for ZK Applications
A Virtual Machine for Zero-Knowledge Executions
"Zero-Knowledge" Proof Implementation with HMAC Communication in Python
FISCO BCOS(发音为/ˈfɪskl bi:ˈkɒz/)是一个稳定、高效、安全的许可区块链平台,已被广泛应用于现实的行业应用。截至目前,已拥有5000多家企事业单位,400多个产业数字化标杆应用,涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos
The Halo2 zero-knowledge proving system
Rust implementation of Ziesha protocol
A Software Development Kit (SDK) for Zero-Knowledge Transactions
The privacy-focused cryptocurrency
A toolbox for zkSNARKs on Ethereum
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
📜 A Starter Guide to Build ZK Applications 📜
"Zero-Knowledge" Proof Implementation with HMAC Communication in C++
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
"Zero-Knowledge" Proof Implementation with HMAC Communication in Go
"Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript
🏎️ A curated list of Aleo & Leo code and resources 🏎️
Modular ZK(Zero Knowledge) backend accelerated by GPU
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
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."