Reproduce ZKP vulnerabilities

An observatory fork of SP1 (contact: @huitseeker)

A curated list of awesome security resources for ZK.

This is the markdown for the ZK Book

In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU

Transports, Middleware, and Networks for the Alloy project

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

A community-developed re-implementation of the Starkware Stone Prover

A repo for our research papers ❤️

A curated list of cryptography resources and links.

Honk Verifier in Solidity

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

EVM Chain Abstraction

Circuit Implementation of zkVM for zkSync Era

Potential attacks on groth16

STARK book

The schelling point for ZK applications.

Accelerate Early Stage Programmable Cryptography Talents

An error resistant Huff parser for lsps

SEAL 911 is a project designed to give users, developers, and security researchers an accessible way to connect with a small group of highly trusted security professionals in case of emergency.

zkEVM proof generator reference written in Javascript

A modular stack for zkVMs, with a focus on productivity, security and performance.