Hyperbridge is a hyperscalable coprocessor for verifiable, cross-chain interoperability
-
Updated
Aug 26, 2024 - Rust
Hyperbridge is a hyperscalable coprocessor for verifiable, cross-chain interoperability
ZPrize 2022 - All qualified entries
A confidential computation programming framework
Simple implementation of a zk-SNARK circuit with Halo 2 proof system.
zkVote - is an example DAO where users can submit their own proposals, vote on the other proposals, and in the end execute the proposals that have been resolved. However, the biggest game changer here is the voting system. The voting system utilises Liminal 0, which leverages zero-knowledge proofs to hide the decision of the particular voter.
Add a description, image, and links to the zkproof topic page so that developers can more easily learn about it.
To associate your repository with the zkproof topic, visit your repo's landing page and select "manage topics."