Truebit 2018 (codebases not maintained)'s repositories
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.
emscripten-module-wrapper
Installs a wrapper to emscripten modules that can be used to record data needed for verified computations.
truebit-toolchain
Utility for preparing Truebit tasks
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
eth-patricia
Checking Merkle proofs of modified patricia trees used by Ethereum
wasm-computation-layer
Central repository for WASM related Truebit software
DApp-example
Run a Truebit task on Rinkeby testnet from a web browser