risc0
plonk
risc0 | plonk | |
---|---|---|
6 | 1 | |
1,440 | 501 | |
7.4% | 2.6% | |
9.7 | 7.7 | |
7 days ago | 21 days ago | |
C++ | Rust | |
Apache License 2.0 | Mozilla Public License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
risc0
-
The Cairo Programming Language
You can actually write zkps in pure Rust, but there's not currently any blockchain integration: https://github.com/risc0/risc0
- Zero knowledge proofs in RISC-V
-
Zero-Knowledge Middleboxes: enforce network policies on encrypted traffic
The performance of ZK systems is improving rapidly, for example the startup I'm at has one which is likely already much faster than what the authors used (development is ongoing): https://github.com/risc0/risc0
The security implications of current decrypting MITM middleboxes are pretty bad so it's worth going to some lengths to find an alternative.
- r/crypto - Digital Signatures on Risc0 -- Sign a message with a zk-STARK
- Digital Signatures on Risc0
- Digital Signatures on Risc0 -- Sign a message with a zk-STARK
plonk
-
What is the Zeeka software stack?
There are different implementations of PLONK. ConsenSys’ gnark protocol is preferred. PLONK can also be implemented in pure Rust with dusk-plonk.
What are some alternatives?
darkfi - Anonymous. Uncensored. Sovereign.
ministark - 🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
miden-vm - STARK-based virtual machine
snarkOS - A Decentralized Operating System for ZK Applications
noir - Noir is a domain specific language for zero knowledge proofs
gnark - gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
libzkchannels - zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more
zkllvm-blueprint - Circuit components definition library for zkLLVM circuit compiler
firo - The privacy-focused cryptocurrency
plonk-by-fingers - Implementation of Plonk by Hand in rust
tock - A secure embedded operating system for microcontrollers
rust-libp2p - The Rust Implementation of the libp2p networking stack.