risc0
miden-vm
risc0 | miden-vm | |
---|---|---|
6 | 6 | |
1,440 | 596 | |
7.4% | 3.4% | |
9.7 | 9.4 | |
7 days ago | 1 day ago | |
C++ | Rust | |
Apache License 2.0 | MIT License |
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
miden-vm
-
Proof systems, trusted setups and recursive proofs
Miden VM: https://github.com/0xPolygonMiden/miden-vm
- Proof of 0 == 1 in Polygon Miden (ZK-Rollup Solution)
- Proof of 0 == 1 in Polygon Miden
-
LRC vs MATIC and other L2s
So is the alpha Polygon Miden https://github.com/maticnetwork/miden
-
RiB Newsletter #30
Polygon Miden. A STARK-based virtual machine.
What are some alternatives?
darkfi - Anonymous. Uncensored. Sovereign.
plonk - A pure Rust PLONK implementation using arkworks as a backend.
plonk - Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
GHSA-862g-9h5m-m3qv
noir - Noir is a domain specific language for zero knowledge proofs
brainwallet - Rust command line program for Bitcoin brainwallet as implemented at https://www.bitaddress.org
libzkchannels - zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more
GHSA-hf79-8hjp-rrvq
firo - The privacy-focused cryptocurrency
zeekoe - Zero-knowledge layer-2 payment channels
tock - A secure embedded operating system for microcontrollers
wagyu - A Rust library for generating cryptocurrency wallets