https://github.com/bmorphism/risc0-cosmwasm-example

CosmWasm + zkVM RISC-V EFI template
https://github.com/bmorphism/risc0-cosmwasm-example

Last synced: 4 months ago
JSON representation

CosmWasm + zkVM RISC-V EFI template

• Host: GitHub
• URL: https://github.com/bmorphism/risc0-cosmwasm-example
• Owner: bmorphism
• License: mit
• Created: 2022-10-19T05:39:15.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-10-20T23:50:40.000Z (over 2 years ago)
• Last Synced: 2024-04-15T04:27:58.733Z (10 months ago)
• Language: Rust
• Homepage:
• Size: 45.9 KB
• Stars: 19
• Watchers: 4
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-risc0 - RISC0 CosmWasm - V zkVM gm example. (Ecosystem / Dev)
• awesome-risc0 - RISC0 CosmWasm - V zkVM gm example. (Ecosystem / Dev)

README

        
# cosmwasm-risc0-example

CosmWasm + RISC-V zkVM `gm` example

## Overview

- [CosmWasm](https://github.com/CosmWasm/cosmwasm)

- [RISC Zero](https://github.com/risc0/risc0)

This example exists to explore the patterns of use of CosmWasm and risc0 to build smart contracts that allow the possibility to carry out **general purpose computation** privatel.

## zkVM

A zero-knowledge virtual machine (zkVM) is a virtual machine that runs trusted code and generates proofs that authenticate the zkVM output. RISC Zero's zkVM implementation, based on the RISC-V architecture, executes code and produces a computational receipt.

The codebase was adapted from `risc0-rust-starter` repository and is intended to be a minimal starting point for `CosmWasm` development. In this instance, we perform multiplication to prove that we know the factors of `1337`.

## What's next?

[tic-tac-toe](https://github.com/bmorphism/risc0-cosmwasm-example/issues/1)!