truebitfoundation Goto Github PK

dapp-example

Run a Truebit task on Rinkeby testnet from a web browser

devops

dispute-resolution-layer

[DEPRECATED] Generic dispute resolution layer for Truebit verification games

emscripten-module-wrapper

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

eth-patricia

Checking Merkle proofs of modified patricia trees used by Ethereum

example-app

Example Application depending on truebit-os

incentive-layer

[DEPRECATED] Incentive layer contracts and deployment information.

ocaml-offchain

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

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.

scrypt-interactive

[DEPRECATED] Truebit Verification for Scrypt

test

test-node-docker

Dockerfile for the test node

truebit-os

[DEPRECATED] Interactive client

truebit-toolchain

Utility for preparing Truebit tasks

wasienv

Wasienv: WASI Development Toolchain for C/C++

wasm-computation-layer

Central repository for WASM related Truebit software

wasm-ports

Scripts to install libraries compiled to WASM using emscripten

wasm-preprocessing

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

webasm-solidity

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