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 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.

Solidity static analyzer

A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities,…

For practice to using halo2

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Kakarot zkEVM - rewrite in the latest version of Cairo

Cryptographic primitives used in Polygon Miden rollup