TrueBitFoundation/ocaml-offchain

Stars
44
Rank 634,578 (Top 13 %)
Language WebAssembly
License
Apache License 2.0
Created about 7 years ago
Updated about 4 years ago

TrueBitFoundation/ocaml-offchain

TrueBitFoundation

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

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

truebit-os

[DEPRECATED] Interactive client

webasm-solidity

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

scrypt-interactive

[DEPRECATED] Truebit Verification for Scrypt

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-preprocessing

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

wasm-computation-layer

Central repository for WASM related Truebit software

DApp-example

Run a Truebit task on Rinkeby testnet from a web browser