Pinned Repositories
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.
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
truebit-os
[DEPRECATED] Interactive client
truebit-toolchain
Utility for preparing Truebit tasks
wasm-ports
Scripts to install libraries compiled to WASM using emscripten
webasm-solidity
[DEPRECATED] On-chain interpreter for WebAssembly written in Solidity
Truebit 2018 (codebases not maintained)'s Repositories
TrueBitFoundation/truebit-os
[DEPRECATED] Interactive client
TrueBitFoundation/webasm-solidity
[DEPRECATED] On-chain interpreter for WebAssembly written in Solidity
TrueBitFoundation/scrypt-interactive
[DEPRECATED] Truebit Verification for Scrypt
TrueBitFoundation/ocaml-offchain
Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
TrueBitFoundation/wasm-ports
Scripts to install libraries compiled to WASM using emscripten
TrueBitFoundation/incentive-layer
[DEPRECATED] Incentive layer contracts and deployment information.
TrueBitFoundation/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.
TrueBitFoundation/emscripten-module-wrapper
Installs a wrapper to emscripten modules that can be used to record data needed for verified computations.
TrueBitFoundation/truebit-toolchain
Utility for preparing Truebit tasks
TrueBitFoundation/dispute-resolution-layer
[DEPRECATED] Generic dispute resolution layer for Truebit verification games
TrueBitFoundation/test-node-docker
Dockerfile for the test node
TrueBitFoundation/example-app
Example Application depending on truebit-os
TrueBitFoundation/wasm-preprocessing
Software needed for preprocessing WASM files so that they can be ran on the TrueBit VM
TrueBitFoundation/eth-patricia
Checking Merkle proofs of modified patricia trees used by Ethereum
TrueBitFoundation/wasm-computation-layer
Central repository for WASM related Truebit software
TrueBitFoundation/DApp-example
Run a Truebit task on Rinkeby testnet from a web browser
TrueBitFoundation/devops
TrueBitFoundation/test
TrueBitFoundation/wasienv
Wasienv: WASI Development Toolchain for C/C++