29 results for “topic:risc0”
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Project Sato - C2
Nullifier Counter in RISC Zero for apps on top of Rarimo Protocol.
A verifier for RISC Zero SNARK proofs written in Go
Our past experiments on zkTLS with RISC0 zkVM
Zero Knowledge Ethereum Lightclient in Rust (SP1, Risc0)
Setups and programs for zero-knowledge virtual machine benchmarking
Execute and verify escrow transactions in zero-knowledge
STARK proof system developed by Ciphercurve
Verify TLSNotary proofs inside RISC0 zkVM to generate zk‐STARK of HTTPS session integrity
Nixified RISC Zero Packages (https://www.risczero.com/)
Prove Blockchain State in Zero Knowledge
Trust-minimized marketplace for content creators [🥇Lambda Hack Week '24]
Experimenting with lightweight verifiable encryption with RISC Zero
Verifiable blockchain security detection system using zero-knowledge proofs. CryptoHound monitors Near Protocol transactions for suspicious activity (wash trading, money laundering, bot activity) and generates cryptographic proofs that analysis was performed correctly. Built with Rust, risc0 zkVM, and React.
a privacy focused ZK multi sig wallet powered by the risc0 stack
Verify TLSNotary proofs of HTTPS session integrity inside the RISC0 zkVM, and publish the resulting zero-knowledge proof on-chain
Server agent for Wholesum network
A competitive cybersecurity game where hackers design encrypted attack bots and security teams defend systems through skill-based developer assignment. Built for Stellar + Risc Zero Hackathon.
A program to do risc0 recursion(prove, lift, join, compress, ...)
Premature Kairos Fork
A fw+back NTT benchmark with 512 random values to be run on Risc0
A small utility to segment Risc0 elfs
Client agent for Wholesum network
Bedrock is an AVS that provides cryptographically verifiable state proofs across heterogeneous blockchains
Risc0, Risc0-Groth16, SP1 bechmarks for SHA256
Yet Another Zero Knowledge Benchmark
ZK-Puzzle-Chain: A Simple Chain, Integrating RISC-Zero's zkVM for PoW
No description provided.