Zero-knowledge virtual machine written in Rust

Zero-Knowledge Proof Systems Circuit Compiler

This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

"Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript

The Nexus zkVM: The zero-knowledge virtual machine

A zero-knowledge protocol for anonymous interactions.

Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.

Modular ZK(Zero Knowledge) backend accelerated by GPU

A zkVM for Decentralized Private Computations (DPC)

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

distributed sequencer with zk consensus

Run Wasm Light Clients of any Substrate based chain directly in your browser.

A toolbox for zkSNARKs on Ethereum

한국어 번호판 인식을 위한 CRNN 모델 학습

Recognition KLP using Yolov4 + LPRnet🔥🔥

Bake full-featured m4b-audiobooks

OpenMMLab Detection Toolbox and Benchmark