Hyperbridge is a hyperscalable coprocessor for verifiable, cross-chain interoperability

Cross-zk-rollup aggregation

zkp-co-learning

ZPrize 2022 - All qualified entries

A TEE framework to ship zkVM/zkEVM

Pointproof vector commitment re-implemented

Streamlined Solana Virtual Machine Integration for High-Performance rollups.

A Hybrid ZK-Optimistic Network Extension with Flexible Verification for Solana

Simple implementation of a zk-SNARK circuit with Halo 2 proof system.

Minimal example for the Sirius Plonkish Folding Framework, demonstrating basic IVC setup and circuit folding

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.

Zero knowledge proof + gRPC client/server for authentication

Python/Rust implementations and notes from Proofs Arguments and Zero Knowledge study group

Yet Another Zero Knowledge Benchmark

Chiquito language server