X

Feedback + Support

Need Assistance? Notice something missing or broken? Let us know!

Press esc to dismiss

No icon fallback

truebit

n/a

TrueBit is a distributed marketplace for off-chain computation of resource-intensive smart contracts, verifying proper results using a game theory-based incentive structure rather than cryptographic proofs.

Overview

Project Stage

Outline status icon

Amount Raised

Market Cap

Sector

Smart Contract Platform

Blockchain

N/A

Funding Source

Project Profile

TrueBit is an off-chain computation layer containing a distributed marketplace for the execution of resource-intensive smart contracts, which may otherwise be economically irrational due to high gas costs, technically impossible due to gas block limits, or procedurally inadvisable due to the Verifier’s Dilemma. Diverging from other emerging methods of off-chain computation, such as trusted execution environments and ZK-Rollups, TrueBit relies on a game theory-based incentive structure, rather than cryptographic proofs, to verify proper execution. The project is led by Dr. Jason Teutsch, a mathematician and former RAND Corporation Fellow, and Dr. Christian Reitwiessner, the Ethereum Foundation’s Solidity and C++ implementation lead. Polychain Capital, the project’s main financial backer, has played a significant and active role in TrueBit’s development thus far.

Protocol Details

TrueBit is designed to operate adjacent to Nakamoto Consensus-based, Proof-of-Work smart contract platforms; its core protocol serves as an off-chain computational layer upon which smart contract execution may occur unbounded by the computational limitations of existing platforms. That is, TrueBit seeks to eliminate de jure limitations on smart contract complexity by gas fees and gas block limits, while also addressing de facto barriers arising from the Verifier’s Dilemma, through an alternative incentive structure and verification protocol. As projects seeking to implement off-chain computation layers proliferate, TrueBit differentiates itself by relying on a multi-party ‘verification game’—rather than merely cryptographic proofs—to ensure proper execution. Initial development has focused on TrueBit’s application as an Ethereum Layer 2 solution and seeks to instantiate the protocol as an Ethereum smart contract and operating system for interaction therewith, producing and communicating computational results.

In the Ethereum network, every smart contract operation must be performed by every node via the Ethereum Virtual Machine (EVM). As this consumes the network’s computational resources, a ‘gas’ fee is levied for each computational step, with the total gas fee being a function of the contract’s overall computational requirements. Thus, complex smart contracts often require high gas fees such that they are not economically rational to deploy. Further, the network itself imposes a gas block limit, placing an upper bound on the amount of gas—and computational resources—that may be used within any given block and making significantly complex smart contracts technically impossible to deploy. Employing individual actors to compute smart contracts, TrueBit reduces computation fees by avoiding the redundancy and inefficiency of the EVM’s execution procedures. Likewise, off-chain computation on TrueBitOS, as opposed to on-chain EVM computation, bypasses block gas limits altogether, as it is now only the final transaction outcome that must then be included in an Ethereum block. In addressing these gas-based obstacles, at a high level, TrueBit takes a common approach adopted by many of its Ethereum L2 peers.

Another— and perhaps more nuanced—problem posed by Ethereum’s smart contract execution procedure and incentive structure is the hypothesized Verifier’s Dilemma. That is, because block producers receive rewards but block verifiers do not, nodes are incentivized to expend resources mining the next block rather than properly verifying proposed blocks, doing so at the expense of the network’s overall security. A major consequence of such practices is that complex smart contracts may be improperly executed and their results left unchallenged or, in some cases, excluded from blocks altogether.

To address this procedural shortcoming, TrueBit introduces a novel ‘verification game,’ in which a game-theory based approach is used to challenge and verify proper smart contract execution. At a high level, the game begins when a user requests execution of a complex smart contract via TrueBit’s user interface, the results of which are computed by a consenting third-party ‘solver’ and made available for public auditing. Any third-party ‘challenger’ may then choose to dispute the results, at which point the computation is delimited by time intervals. Computation is then examined in multiple steps, with each consecutive ‘round’ examining a smaller subset of the computation until the source of the error is found. ‘Judges,’ roles that may be assumed by any existing Ethereum node, are responsible for enforcing the rules of this game and adjudicating any further disputes; both solvers and challengers stake cryptoassets and are slashed and rewarded according to the accuracy, or lack thereof, of the original computation. All solving and challenging is done using TrueBitOS, which functions similarly to the EVM with regard to the hosting of smart contract computation.

However, because this verification game theoretically only requires one honest actor to ensure proper execution, improper execution is unlikely to become prevalent; diminishing incentives for and participation from challengers is a foreseeable consequence. To mitigate such risks, TrueBit implements the concept of ‘forced error.’ That is, the protocol itself periodically submits invalid smart contract results, of which successful challengers receive a ‘bounty’ so large that the expected value from challenging remains positive regardless of solvers’ collective honesty, incentivizing continued challenging of computation.

Project Status

Having released the latest version of its whitepaper in late 2017, TrueBit has been under development for over two years. While partial implementations of TrueBit exist within various Ethereum testnets and a prototype of TrueBitOS, the complete protocol remains largely in its outline and schematics phase. Notable developments during this time period include the testing of TrueBit’s verification game on the Rinkeby testnet, successful integration of WASM smart contracts in 2018, and the release of the TRU Token whitepaper in 2019. TrueBit has not held a token sale to date and is instead supported only by equity fundraising, primarily obtained from Polychain Capital.

Asset Details

TRU tokens are TrueBit’s freely-tradable, fungible, native cryptoassets. These ERC-20 tokens’ main functions within the TrueBit ecosystem are payment for computation and staking for solvers and challengers. Further, the network levies a minor ‘verification tax’ on payments made within the ecosystem in TRU tokens in order to fund the bounty pool for forced error situations. While they currently exist only on the Ethereum blockchain, TRU tokens may, in the future, be transferred to other blockchains alongside which TrueBit is operating via a ‘burn-and-mint’ mechanism; for example, the project is currently developing a Dogecoin-Ethereum bridge. TrueBit has yet to hold a token sale, although it is in the process of developing an ‘interactive coin offering’ (IICO) protocol. First proposed by Vitalik Buterin in 2017, the protocol involves users submitting a ‘valuation table’ containing desired purchase quantities by price, somewhat similar to Dutch auction procedures. However, IICOs employ smart contracts to submit and withdraw bids on behalf of participants according to present prices and supply. A prototype of TrueBit IICO application was released on April of 2019.

No icon fallback

TrueBit

n/a

TrueBit is a distributed marketplace for off-chain computation of resource-intensive smart contracts, verifying proper results using a game theory-based incentive structure rather than cryptographic proofs.

Overview

STATUS

MARKET CAP

BLOCKCHAIN

TOKEN TYPE

Outline status icon
Outline
Native token icon

N/A

N/A

FUNDING SOURCE

AMOUNT RAISED

SECTOR

Smart Contract Platform

Project Profile

TrueBit is an off-chain computation layer containing a distributed marketplace for the execution of resource-intensive smart contracts, which may otherwise be economically irrational due to high gas costs, technically impossible due to gas block limits, or procedurally inadvisable due to the Verifier’s Dilemma. Diverging from other emerging methods of off-chain computation, such as trusted execution environments and ZK-Rollups, TrueBit relies on a game theory-based incentive structure, rather than cryptographic proofs, to verify proper execution. The project is led by Dr. Jason Teutsch, a mathematician and former RAND Corporation Fellow, and Dr. Christian Reitwiessner, the Ethereum Foundation’s Solidity and C++ implementation lead. Polychain Capital, the project’s main financial backer, has played a significant and active role in TrueBit’s development thus far.

Protocol Details

TrueBit is designed to operate adjacent to Nakamoto Consensus-based, Proof-of-Work smart contract platforms; its core protocol serves as an off-chain computational layer upon which smart contract execution may occur unbounded by the computational limitations of existing platforms. That is, TrueBit seeks to eliminate de jure limitations on smart contract complexity by gas fees and gas block limits, while also addressing de facto barriers arising from the Verifier’s Dilemma, through an alternative incentive structure and verification protocol. As projects seeking to implement off-chain computation layers proliferate, TrueBit differentiates itself by relying on a multi-party ‘verification game’—rather than merely cryptographic proofs—to ensure proper execution. Initial development has focused on TrueBit’s application as an Ethereum Layer 2 solution and seeks to instantiate the protocol as an Ethereum smart contract and operating system for interaction therewith, producing and communicating computational results.

In the Ethereum network, every smart contract operation must be performed by every node via the Ethereum Virtual Machine (EVM). As this consumes the network’s computational resources, a ‘gas’ fee is levied for each computational step, with the total gas fee being a function of the contract’s overall computational requirements. Thus, complex smart contracts often require high gas fees such that they are not economically rational to deploy. Further, the network itself imposes a gas block limit, placing an upper bound on the amount of gas—and computational resources—that may be used within any given block and making significantly complex smart contracts technically impossible to deploy. Employing individual actors to compute smart contracts, TrueBit reduces computation fees by avoiding the redundancy and inefficiency of the EVM’s execution procedures. Likewise, off-chain computation on TrueBitOS, as opposed to on-chain EVM computation, bypasses block gas limits altogether, as it is now only the final transaction outcome that must then be included in an Ethereum block. In addressing these gas-based obstacles, at a high level, TrueBit takes a common approach adopted by many of its Ethereum L2 peers.

Another— and perhaps more nuanced—problem posed by Ethereum’s smart contract execution procedure and incentive structure is the hypothesized Verifier’s Dilemma. That is, because block producers receive rewards but block verifiers do not, nodes are incentivized to expend resources mining the next block rather than properly verifying proposed blocks, doing so at the expense of the network’s overall security. A major consequence of such practices is that complex smart contracts may be improperly executed and their results left unchallenged or, in some cases, excluded from blocks altogether.

To address this procedural shortcoming, TrueBit introduces a novel ‘verification game,’ in which a game-theory based approach is used to challenge and verify proper smart contract execution. At a high level, the game begins when a user requests execution of a complex smart contract via TrueBit’s user interface, the results of which are computed by a consenting third-party ‘solver’ and made available for public auditing. Any third-party ‘challenger’ may then choose to dispute the results, at which point the computation is delimited by time intervals. Computation is then examined in multiple steps, with each consecutive ‘round’ examining a smaller subset of the computation until the source of the error is found. ‘Judges,’ roles that may be assumed by any existing Ethereum node, are responsible for enforcing the rules of this game and adjudicating any further disputes; both solvers and challengers stake cryptoassets and are slashed and rewarded according to the accuracy, or lack thereof, of the original computation. All solving and challenging is done using TrueBitOS, which functions similarly to the EVM with regard to the hosting of smart contract computation.

However, because this verification game theoretically only requires one honest actor to ensure proper execution, improper execution is unlikely to become prevalent; diminishing incentives for and participation from challengers is a foreseeable consequence. To mitigate such risks, TrueBit implements the concept of ‘forced error.’ That is, the protocol itself periodically submits invalid smart contract results, of which successful challengers receive a ‘bounty’ so large that the expected value from challenging remains positive regardless of solvers’ collective honesty, incentivizing continued challenging of computation.

Project Status

Having released the latest version of its whitepaper in late 2017, TrueBit has been under development for over two years. While partial implementations of TrueBit exist within various Ethereum testnets and a prototype of TrueBitOS, the complete protocol remains largely in its outline and schematics phase. Notable developments during this time period include the testing of TrueBit’s verification game on the Rinkeby testnet, successful integration of WASM smart contracts in 2018, and the release of the TRU Token whitepaper in 2019. TrueBit has not held a token sale to date and is instead supported only by equity fundraising, primarily obtained from Polychain Capital.

Asset Details

TRU tokens are TrueBit’s freely-tradable, fungible, native cryptoassets. These ERC-20 tokens’ main functions within the TrueBit ecosystem are payment for computation and staking for solvers and challengers. Further, the network levies a minor ‘verification tax’ on payments made within the ecosystem in TRU tokens in order to fund the bounty pool for forced error situations. While they currently exist only on the Ethereum blockchain, TRU tokens may, in the future, be transferred to other blockchains alongside which TrueBit is operating via a ‘burn-and-mint’ mechanism; for example, the project is currently developing a Dogecoin-Ethereum bridge. TrueBit has yet to hold a token sale, although it is in the process of developing an ‘interactive coin offering’ (IICO) protocol. First proposed by Vitalik Buterin in 2017, the protocol involves users submitting a ‘valuation table’ containing desired purchase quantities by price, somewhat similar to Dutch auction procedures. However, IICOs employ smart contracts to submit and withdraw bids on behalf of participants according to present prices and supply. A prototype of TrueBit IICO application was released on April of 2019.

Show projects Article List
Sort icon: direction descending
project icon for zrx
ZRX
Profile Updated
0h
Project details updated.
project icon for tether
USDT
Profile Updated
1h
Project details updated.
project icon for wax
WAXP
Profile Updated
22h
Project details updated.
Profile Updated
22h
Project details updated.
Profile Updated
3d
Project details updated.
Profile Updated
3d
Project details updated.
Profile Updated
4d
Project details updated.
project icon for tzero
TZEROP
Profile Updated
4d
Project details updated.
Profile Updated
6d
Project details updated.
Profile Updated
6d
Protocol and asset details updated.
project icon for skale
SKALE
Project Added as Signal
6d
SKALE is an Ethereum Layer 2 scalability protocol facilitating the formation and operation of on-demand elastic sidechains.
Project Added as Signal
24d
TrueBit is a distributed marketplace for off-chain computation of resource-intensive smart contracts, verifying proper results using a game theory-based incentive structure rather than cryptographic proofs.
Project Added as Signal
36d
Spacemesh is a cryptocurrency and smart contract platform operating on directed acyclic graph infrastructure and utilizing a Proof-of-Spacetime consensus algorithm that intends to achieve a more equitable distribution of mining rights by decoupling the conferment thereof with access to financial means.
No icon fallback
BZRX
Project Added as Signal
38d
bZx is an Ethereum-based, decentralized cryptoasset lending protocol that facilitates margin trading of ETH and ERC-20 tokens.
Project Added as Signal
41d
Oasis Network is a permissionless, blockchain-based cloud computing platform that aims to improve upon the scalability and privacy of its peers through novel architecture.
Project Added as Signal
53d
FTX is a cryptoasset derivatives exchange, powered by a proprietary liquidation engine and clawback prevention protocol, offering futures, leveraged tokens and an over-the-counter trading portal.
Project Added as Signal
57d
ThunderCore is a permissionless, Turing-complete smart contract platform offering full EVM-compatibility and PaLa, a new variant of Proof-of-Stake consensus, as its distinguishing features.
Project Added as Signal
59d
Santiment is a blockchain data and analytics provider offering content streams, data feeds and analysis, APIs and its own ERC-20 token, SAN.
Project Added as Signal
73d
Nexus Mutual is a blockchain-based, protocol-enabled mutual insurance fund operating on Ethereum and owned entirely by its members, who buy into the fund by purchasing NXM tokens.
Project Added as Signal
102d
Gods Unchained is a decentralized trading card game that uses the ERC-721 non-fungible token standard to establish on-chain ownership of cards to be used in off-chain gameplay.
Project Added as Signal
111d
Synthetix is a decentralized synthetic asset issuance protocol consisting of an Ethereum-based smart contract, an exchange, and a dApp to facilitate smart contract interaction.
project icon for zrx
ZRX
Profile Updated
117d
Update on 0x v3, including protocol fees, staking incentives, and liquidity pooling with Uniswap, Kyber, and Oasis.
No icon fallback
LUNA
Project Added as Signal
125d
Terra is an algorithmically-governed, seigniorage share style stablecoin blockchain platform to which a collection of fiat-pegged tokens and a stabilizing cryptoasset, Luna, are native.
Profile Updated
142d
Stellar Development Foundation burns 55 billion XLM from its reserves, over half of the total supply, and removes the ongoing inflation to current token holders. The SDF had previously earmarked these tokens for community airdrops and ongoing organization funding.
Project Added as Signal
157d
Nervos is a public, PoW-based smart contract platform that utilizes off-chain computation in service of transaction scalability and implements a unique token emissions mechanic that imposes a perpetual cost for on-chain data storage.
Profile Updated
168d
Supply Information added.
project icon for beam
BEAM
Profile Updated
171d
Supply Information added.
project icon for grin
GRIN
Profile Updated
171d
Supply Information added.
Profile Updated
174d
Supply Information added.
Profile Updated
174d
Supply Information added.
project icon for siacoin
SC
Profile Updated
174d
Mining Information added.
project icon for dash
DASH
Profile Updated
175d
Mining and Supply Information added.
Profile Updated
175d
Mining and Supply Information added.
Profile Updated
178d
Mining and Supply information added.
Profile Updated
179d
Mining and Supply Information added.
project icon for kin
KIN
Project Removed as Signal
186d
Kin removed as Signal.
project icon for simple
OST
Project Added as Signal
186d
OST added as Signal.
Profile Updated
201d
Signal profile updated.
Project Added as Signal
214d
Edgeware added as Signal.
Profile Updated
217d
Ethereum Classic profile added.
project icon for steem
STEEM
Profile Updated
228d
Signal profile updated.
Profile Updated
228d
Signal profile updated.
project icon for neo
NEO
Profile Updated
228d
Signal profile updated.
No icon fallback
KLAY
Project Added as Signal
228d
Klaytn added as Signal.
No icon fallback
ALTG
Project Added as Signal
235d
Althea added as Signal.
Profile Updated
241d
Signal profile updated.
No icon fallback
UMA
Project Added as Signal
248d
UMA added as Signal.
No icon fallback
LIBRA
Project Added as Signal
249d
Libra added as Signal.
Project Added as Signal
254d
Chainlink added as Signal.
Profile Updated
260d
Signal profile updated.
Profile Updated
267d
Signal profile updated.
project icon for chia
CHIA
Profile Updated
273d
Signal profile updated.
project icon for bitfinex-leo
LEOTOKEN
Project Added as Signal
279d
Bitfinex LEO added as Signal.
project icon for coda
CODA
Profile Updated
284d
Signal profile updated.
Project Added as Signal
290d
Paxos added as Signal.
project icon for celo
CELO
Project Added as Signal
296d
Celo added as Signal.

You've reached the end of the list

No icon fallback

TrueBit

n/a

TrueBit is a distributed marketplace for off-chain computation of resource-intensive smart contracts, verifying proper results using a game theory-based incentive structure rather than cryptographic proofs.

Overview

STATUS

MARKET CAP

BLOCKCHAIN

TOKEN TYPE

Outline status icon
Outline
Native token icon

N/A

N/A

FUNDING SOURCE

AMOUNT RAISED

SECTOR

Smart Contract Platform

Project Profile

TrueBit is an off-chain computation layer containing a distributed marketplace for the execution of resource-intensive smart contracts, which may otherwise be economically irrational due to high gas costs, technically impossible due to gas block limits, or procedurally inadvisable due to the Verifier’s Dilemma. Diverging from other emerging methods of off-chain computation, such as trusted execution environments and ZK-Rollups, TrueBit relies on a game theory-based incentive structure, rather than cryptographic proofs, to verify proper execution. The project is led by Dr. Jason Teutsch, a mathematician and former RAND Corporation Fellow, and Dr. Christian Reitwiessner, the Ethereum Foundation’s Solidity and C++ implementation lead. Polychain Capital, the project’s main financial backer, has played a significant and active role in TrueBit’s development thus far.

Protocol Details

TrueBit is designed to operate adjacent to Nakamoto Consensus-based, Proof-of-Work smart contract platforms; its core protocol serves as an off-chain computational layer upon which smart contract execution may occur unbounded by the computational limitations of existing platforms. That is, TrueBit seeks to eliminate de jure limitations on smart contract complexity by gas fees and gas block limits, while also addressing de facto barriers arising from the Verifier’s Dilemma, through an alternative incentive structure and verification protocol. As projects seeking to implement off-chain computation layers proliferate, TrueBit differentiates itself by relying on a multi-party ‘verification game’—rather than merely cryptographic proofs—to ensure proper execution. Initial development has focused on TrueBit’s application as an Ethereum Layer 2 solution and seeks to instantiate the protocol as an Ethereum smart contract and operating system for interaction therewith, producing and communicating computational results.

In the Ethereum network, every smart contract operation must be performed by every node via the Ethereum Virtual Machine (EVM). As this consumes the network’s computational resources, a ‘gas’ fee is levied for each computational step, with the total gas fee being a function of the contract’s overall computational requirements. Thus, complex smart contracts often require high gas fees such that they are not economically rational to deploy. Further, the network itself imposes a gas block limit, placing an upper bound on the amount of gas—and computational resources—that may be used within any given block and making significantly complex smart contracts technically impossible to deploy. Employing individual actors to compute smart contracts, TrueBit reduces computation fees by avoiding the redundancy and inefficiency of the EVM’s execution procedures. Likewise, off-chain computation on TrueBitOS, as opposed to on-chain EVM computation, bypasses block gas limits altogether, as it is now only the final transaction outcome that must then be included in an Ethereum block. In addressing these gas-based obstacles, at a high level, TrueBit takes a common approach adopted by many of its Ethereum L2 peers.

Another— and perhaps more nuanced—problem posed by Ethereum’s smart contract execution procedure and incentive structure is the hypothesized Verifier’s Dilemma. That is, because block producers receive rewards but block verifiers do not, nodes are incentivized to expend resources mining the next block rather than properly verifying proposed blocks, doing so at the expense of the network’s overall security. A major consequence of such practices is that complex smart contracts may be improperly executed and their results left unchallenged or, in some cases, excluded from blocks altogether.

To address this procedural shortcoming, TrueBit introduces a novel ‘verification game,’ in which a game-theory based approach is used to challenge and verify proper smart contract execution. At a high level, the game begins when a user requests execution of a complex smart contract via TrueBit’s user interface, the results of which are computed by a consenting third-party ‘solver’ and made available for public auditing. Any third-party ‘challenger’ may then choose to dispute the results, at which point the computation is delimited by time intervals. Computation is then examined in multiple steps, with each consecutive ‘round’ examining a smaller subset of the computation until the source of the error is found. ‘Judges,’ roles that may be assumed by any existing Ethereum node, are responsible for enforcing the rules of this game and adjudicating any further disputes; both solvers and challengers stake cryptoassets and are slashed and rewarded according to the accuracy, or lack thereof, of the original computation. All solving and challenging is done using TrueBitOS, which functions similarly to the EVM with regard to the hosting of smart contract computation.

However, because this verification game theoretically only requires one honest actor to ensure proper execution, improper execution is unlikely to become prevalent; diminishing incentives for and participation from challengers is a foreseeable consequence. To mitigate such risks, TrueBit implements the concept of ‘forced error.’ That is, the protocol itself periodically submits invalid smart contract results, of which successful challengers receive a ‘bounty’ so large that the expected value from challenging remains positive regardless of solvers’ collective honesty, incentivizing continued challenging of computation.

Project Status

Having released the latest version of its whitepaper in late 2017, TrueBit has been under development for over two years. While partial implementations of TrueBit exist within various Ethereum testnets and a prototype of TrueBitOS, the complete protocol remains largely in its outline and schematics phase. Notable developments during this time period include the testing of TrueBit’s verification game on the Rinkeby testnet, successful integration of WASM smart contracts in 2018, and the release of the TRU Token whitepaper in 2019. TrueBit has not held a token sale to date and is instead supported only by equity fundraising, primarily obtained from Polychain Capital.

Asset Details

TRU tokens are TrueBit’s freely-tradable, fungible, native cryptoassets. These ERC-20 tokens’ main functions within the TrueBit ecosystem are payment for computation and staking for solvers and challengers. Further, the network levies a minor ‘verification tax’ on payments made within the ecosystem in TRU tokens in order to fund the bounty pool for forced error situations. While they currently exist only on the Ethereum blockchain, TRU tokens may, in the future, be transferred to other blockchains alongside which TrueBit is operating via a ‘burn-and-mint’ mechanism; for example, the project is currently developing a Dogecoin-Ethereum bridge. TrueBit has yet to hold a token sale, although it is in the process of developing an ‘interactive coin offering’ (IICO) protocol. First proposed by Vitalik Buterin in 2017, the protocol involves users submitting a ‘valuation table’ containing desired purchase quantities by price, somewhat similar to Dutch auction procedures. However, IICOs employ smart contracts to submit and withdraw bids on behalf of participants according to present prices and supply. A prototype of TrueBit IICO application was released on April of 2019.