Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.

Orochi Network monorepo of its full-node client

ITMO/CTD notes, y2013 🇺🇦

A curated list of awesome ZK resources, libraries, tools and more.

ZKM Development Template/Framework

My personal notebook for various zk-related topics

Distributed filesystem written in Rust

An encrypted file system written in Rust that is mounted with FUSE on Linux. It can be used to create encrypted directories

An API compatible port of the Stone prover.

Go Implementation of the Spacemesh protocol full node. 💾⏰💪

A Rust library for building R1CS gadgets

Fault-tolerant Async Actors Built on Tokio

Cryptography Educational Foundations

An elastic proof system based on arkworks

Interactive documentation on zero-knowledge proof systems and related primitives.

This repository contains Zk learning resources

A repo for our research papers ❤️

Efficient Multi-Party computation toolkit in Rust

My homework and notes on zkEVM Bootcamp by zkSync and Encode Club

The simplest, fastest way to get business intelligence and analytics to everyone in your company 😋

Make Your Company Data Driven. Connect to any data source, easily visualize, dashboard and share your data.

Notes and implments of JThaler's PAZK book.

Extractable Witness Encryption for KZG Commitments

zero knowledge proof aggregator for general circuit

An HTTP router and reverse proxy for service composition, including use cases like Kubernetes Ingress

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

DevOps Tutorials

🔥 Turn entire websites into LLM-ready markdown or structured data. Scrape, crawl and extract with a single API.