Pessimistic proof for the AggLayer.

sp1 tutorial (ms nampac)

Basic Groth16 SnarkJS verifier compatible with SP1.

Recursive ZK Light Client operator for Tendermint, Ethereum, ...

Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

Zero-Knowledge DNSSEC Validation for Trustless, Private DNS

General aspects of the modern tester in the new world of the Pipelines and how Spring & Spring Cloud help in the context of any Digital Transformation project.

Setups and programs for zero-knowledge virtual machine benchmarking

This is the tools to make your termux look like Kali-linux terminal.

A rust client for interacting with the Sindri API.

Prove Blockchain State in Zero Knowledge

STARK proof system developed by Ciphercurve

Benchmarks for substrate-bn primitives inside a SP1 circuit

Experimenting with lightweight verifiable encryption with Succinct SP1

Zero-knowledge proof circuit implementations for secure blockchain state verification.

zkvm + ml to proof apple

Team project - analysis

ZK (Zero-Knowledge) based Supply Chain Management System built on top of SP1 zkVM powered by Succinct

By attesting a ZKP to AI-generated contents (i.e. images), IP of these AI-generated contents can be protected. SP1 / Succinct would be used for generating/verifying a ZKP, which is attested to AI-generated contents

ZKVM CLOB Exchange