Skip to content
This repository has been archived by the owner on Nov 11, 2024. It is now read-only.
/ veritas Public archive

A simple verification script used to verify RISC0 programs

License

Notifications You must be signed in to change notification settings

WholesumNet/veritas

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Wholesum network verification tool

Overview

Wholesum network is a p2p verifiable computing network. It builds on top of Risc0, Swarm, FairOS-dfs, and Libp2p to facilitate verifiable computing at scale.

Intro

Warrant is verification application that given a Risc0 receipt and an Image Id, checks if the execution yielding the receipt has been honest.

USAGE

Usage: warrant --image-id  --receipt-file 

Options:
  -i, --image-id           
  -r, --receipt-file   
  -h, --help                         Print help
  -V, --version                      Print version


About

A simple verification script used to verify RISC0 programs

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages