Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by risc0

A curated list of projects in awesome lists by risc0 .

https://github.com/risc0/risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

cryptography risc-v rust stark virtual-machine zero-knowledge

Last synced: 15 Oct 2024

https://github.com/risc0/zeth

A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Last synced: 11 Nov 2024

https://github.com/risc0/risc0-foundry-template

Template for integrating RISC Zero and Ethereum using Foundry and Bonsai

ethereum foundry rust solidity web3 zero-knowledge zk-coprocessor

Last synced: 11 Nov 2024

https://github.com/risc0/risc0-rust-examples

These RISC Zero examples have been moved to the main risc0/risc0 repository

Last synced: 09 Nov 2024

https://github.com/risc0/risc0-ethereum

Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.

cryptography ethereum foundry rust solidity web3 zero-knowledge

Last synced: 26 Oct 2024

https://github.com/risc0/risc0-lean4

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

lean lean4 risc-v risc0 riscv riscv32 riscv32im zero-knowledge zk-stark zkvm

Last synced: 11 Nov 2024

https://github.com/risc0/zirgen

Zirgen compiler and RISC Zero circuits

compiler dsl zk

Last synced: 11 Nov 2024

https://github.com/risc0/battleship-example

A battleship game using ZKPs

Last synced: 11 Nov 2024

https://github.com/risc0/demos

Last synced: 11 Nov 2024

https://github.com/risc0/blobstream0

Last synced: 11 Nov 2024

https://github.com/risc0/website

Last synced: 11 Nov 2024

https://github.com/risc0/risc0-solana

Last synced: 11 Nov 2024

https://github.com/risc0/risc0-ui

Building Blocks for Frontend/UI Components

Last synced: 11 Nov 2024

https://github.com/risc0/zkvm-compare

Last synced: 11 Nov 2024

https://github.com/risc0/rz-security

Last synced: 11 Nov 2024

https://github.com/risc0/tbb-sys

Last synced: 11 Nov 2024

https://github.com/risc0/ghpages

Last synced: 11 Nov 2024

https://github.com/risc0/toolchain

Last synced: 11 Nov 2024