Pessimistic proof for the AggLayer.

• UpdatedJun 25, 2024
• Rust

sp1 tutorial (ms nampac)

• UpdatedNov 7, 2024
• C

Basic Groth16 SnarkJS verifier compatible with SP1.

• UpdatedSep 27, 2024
• Rust

Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

• UpdatedFeb 6, 2025
• Solidity

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.

• UpdatedOct 3, 2018

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

• UpdatedFeb 21, 2024
• Shell

Prove Blockchain State in Zero Knowledge

• UpdatedDec 17, 2024
• Rust

Setups and programs for zero-knowledge virtual machine benchmarking

• UpdatedMar 21, 2025
• Rust

A rust client for interacting with the Sindri API.

• UpdatedMar 21, 2025
• Rust

Benchmarks for substrate-bn primitives inside a SP1 circuit

• UpdatedJun 10, 2024
• Rust

Team project - analysis

• UpdatedJan 7, 2017

Yet Another Zero Knowledge Benchmark

• UpdatedMay 9, 2024
• Rust

Risc0, Risc0-Groth16, SP1 bechmarks for SHA256

• UpdatedApr 21, 2024
• Rust

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

• UpdatedFeb 28, 2025
• Rust

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

• UpdatedFeb 10, 2025
• Rust

SP-freecodecamp1

• UpdatedAug 3, 2022
• HTML