TrueBitFoundation/wasm-preprocessing

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Rust
Created about 7 years ago
Updated over 6 years ago

TrueBitFoundation/wasm-preprocessing

TrueBitFoundation

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Software needed for preprocessing WASM files so that they can be ran on the TrueBit VM

truebit-os

[DEPRECATED] Interactive client

webasm-solidity

[DEPRECATED] On-chain interpreter for WebAssembly written in Solidity

scrypt-interactive

[DEPRECATED] Truebit Verification for Scrypt

ocaml-offchain

Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification

wasm-ports

Scripts to install libraries compiled to WASM using emscripten

incentive-layer

[DEPRECATED] Incentive layer contracts and deployment information.

python-offchain

[DEPRECATED-the currently maintained repo is https://github.com/TrueBitFoundation/ocaml-offchain]. off-chain WASM interpreter with support for generating merkle proofs of the internal state of the machine.

truebit-toolchain

Utility for preparing Truebit tasks

emscripten-module-wrapper

Installs a wrapper to emscripten modules that can be used to record data needed for verified computations.

dispute-resolution-layer

[DEPRECATED] Generic dispute resolution layer for Truebit verification games

test-node-docker

Dockerfile for the test node

example-app

Example Application depending on truebit-os

wasm-computation-layer

Central repository for WASM related Truebit software

DApp-example

Run a Truebit task on Rinkeby testnet from a web browser