https://github.com/Orbis-Tertius/tiny-ram-halo2

A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.
https://github.com/Orbis-Tertius/tiny-ram-halo2

Last synced: about 1 month ago
JSON representation

A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.

• Host: GitHub
• URL: https://github.com/Orbis-Tertius/tiny-ram-halo2
• Owner: Orbis-Tertius
• License: apache-2.0
• Created: 2022-03-02T19:34:24.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2022-11-18T18:43:58.000Z (over 1 year ago)
• Last Synced: 2023-03-04T03:23:43.971Z (over 1 year ago)
• Language: Rust
• Homepage:
• Size: 530 KB
• Stars: 24
• Watchers: 3
• Forks: 2
• Open Issues: 8
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• awesome-halo2 - Orbis Labs' TinyRAM implementation

README

        
# tiny-ram-halo2

This repo is in the early stages of development.

It will contain an implementation of a TinyRAM Harvard architecture execution verifier using [halo2](https://github.com/zcash/halo2).

## Building or Testing

You do not need `rustc`, `cargo`, or `rust-analyzer` installed on your system. They are provided by this repository's nix flake.

```bash

# Enter a nix shell

nix develop

# Edit

# Run tests

cargo test

```

### To run test's exactly as our CI does:

`nix build ./#ci`

## References

The TinyRAM execution constraints are based on [Nearly Linear-Time Zero-Knowledge Proofs for Correct Program Execution](https://eprint.iacr.org/2018/380).