myedukrishnan/projectsato

Project Sato - C2

Size: 18.6 KB - Last synced at: about 16 hours ago - Pushed at: about 17 hours ago - Stars: 1 - Forks: 0

WholesumNet/client

Client agent for Wholesum network

Language: Rust - Size: 438 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 0 - Forks: 0

WholesumNet/prover

Server agent for Wholesum network

Language: Rust - Size: 212 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0

skrakra/r0-tlsn-foundry

Verify TLSNotary proofs of HTTPS session integrity inside the RISC0 zkVM, and publish the resulting zero-knowledge proof on-chain

Language: Assembly - Size: 5.38 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 1 - Forks: 0

jonas089/toyni Fork of ciphercurve/toyni

Toyni is a new, emerging ZK proof system in Rust, developed by Ciphercurve.

Language: Rust - Size: 484 KB - Last synced at: 20 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0

blocksense-network/zkVMs-benchmarks

Setups and programs for zero-knowledge virtual machine benchmarking

Language: Rust - Size: 827 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 2 - Forks: 7

skrakra/risc0-tlsn-verifier

Verify TLSNotary proofs inside RISC0 zkVM to generate zk‐STARK of HTTPS session integrity

Language: Rust - Size: 207 KB - Last synced at: 27 days ago - Pushed at: about 1 month ago - Stars: 3 - Forks: 0

ciphercurve/toyni

Toyni is a new, emerging ZK proof system in Rust, developed by Ciphercurve.

Language: Rust - Size: 473 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 1

successor1/projectsato

Project Sato - C2

Size: 36.1 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

nuke-web3/risc0-chacha

Experimenting with lightweight verifiable encryption with RISC Zero

Language: Rust - Size: 1.07 MB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

jonas089/spectre-rad

Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)

Language: Solidity - Size: 11.2 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 4 - Forks: 1

datachainlab/go-risc0-verifier

A verifier for RISC Zero SNARK proofs written in Go

Language: Go - Size: 21.5 KB - Last synced at: 3 months ago - Pushed at: 4 months ago - Stars: 4 - Forks: 0

risc0/risc0-lean4

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

Language: Lean - Size: 3.14 MB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 62 - Forks: 4

jonas089/zk-state-proofs

Prove Blockchain State in Zero Knowledge

Language: Rust - Size: 856 KB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 1

WholesumNet/segmentor

A small utility to segment Risc0 elfs

Language: Rust - Size: 22.5 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

WholesumNet/mass_verify

A mass verification test for composition

Language: Rust - Size: 0 Bytes - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

distributed-lab/rarimo-issuer-risc0

Nullifier Counter in RISC Zero for apps on top of Rarimo Protocol.

Language: Rust - Size: 164 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 5 - Forks: 0

raul0ligma/z0wallet

a privacy focused ZK multi sig wallet powered by the risc0 stack

Language: Rust - Size: 774 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

m-kus/stock0

Trust-minimized marketplace for content creators [🥇Lambda Hack Week '24]

Language: Rust - Size: 8.01 MB - Last synced at: 3 months ago - Pushed at: 10 months ago - Stars: 2 - Forks: 1

keroro520/zk-puzzle-chain

ZK-Puzzle-Chain: A Simple Chain, Integrating RISC-Zero's zkVM for PoW

Language: Rust - Size: 43.9 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

jonas089/sha256-zk-benchmark

Risc0, Risc0-Groth16, SP1 bechmarks for SHA256

Language: Rust - Size: 257 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

WholesumNet/ntt512

A fw+back NTT benchmark with 512 random values to be run on Risc0

Language: Rust - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

mjzk/yazkb

Yet Another Zero Knowledge Benchmark

Language: Rust - Size: 5.04 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

cspr-rad/risc0pkgs

Nixified RISC Zero Packages (https://www.risczero.com/)

Language: Nix - Size: 148 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

Vesnica/risc0-rust-starter

Language: Rust - Size: 56.6 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0