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, played a significant and active role in TrueBit’s development.

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.

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 designed primarily for use on the Ethereum blockchain, it is theoretically possible for TRU tokens to be transferred to other blockchains alongside which TrueBit is operating via a ‘burn-and-mint’ mechanism. TrueBit. TrueBit did not hold a token sale, and its development was instead supported only by equity fundraising, primarily obtained from Polychain Capital.

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, played a significant and active role in TrueBit’s development.

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.

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 designed primarily for use on the Ethereum blockchain, it is theoretically possible for TRU tokens to be transferred to other blockchains alongside which TrueBit is operating via a ‘burn-and-mint’ mechanism. TrueBit. TrueBit did not hold a token sale, and its development was instead supported only by equity fundraising, primarily obtained from Polychain Capital.

Show projects Article List
Sort icon: direction descending
Profile Updated
133d
Project details updated.
No icon fallback
ALTG
Profile Updated
133d
Project details updated.
Project Added as Signal
146d
Project details updated.
Profile Updated
146d
Project details updated.
Profile Updated
147d
Project details updated.
project icon for beam
BEAM
Profile Updated
147d
Project details updated.
Profile Updated
152d
Project details updated.
Profile Updated
152d
Project details updated.
project icon for qtum
QTUM
Profile Updated
157d
Project details updated.
Profile Updated
157d
Project details updated.
Profile Updated
158d
Project details updated.
project icon for aion
AION
Profile Updated
158d
Project details updated.
Profile Updated
159d
Project details updated.
project icon for grin
GRIN
Profile Updated
159d
Project details updated.
Profile Updated
160d
Project details updated.
Profile Updated
160d
Project details updated.
Profile Updated
164d
Project details updated.
project icon for kadena
KADENA
Profile Updated
164d
Project details updated.
project icon for chia
CHIA
Profile Updated
166d
Project details updated.
project icon for waves
WAVES
Profile Updated
166d
Project details updated
Profile Updated
168d
Project details updated.
Profile Updated
168d
Project details updated.
Profile Updated
171d
Project details updated.
No icon fallback
KLAY
Profile Updated
171d
Project details updated.
Profile Updated
172d
Project details updated.
project icon for neo
NEO
Profile Updated
172d
Project details updated.
Profile Updated
173d
Project details updated.
Profile Updated
173d
Project details updated.
project icon for aelf
ELF
Profile Updated
174d
Project details updated.
project icon for eos
EOS
Profile Updated
174d
Project details updated.
Profile Updated
175d
Project details updated.
Profile Updated
175d
Project details updated.
project icon for storj
STORJ
Profile Updated
179d
Project details updated.
Profile Updated
180d
Project details updated.
Profile Updated
180d
Project details updated.
project icon for zrx
ZRX
Profile Updated
181d
Project details updated.
project icon for tether
USDT
Profile Updated
181d
Project details updated.
project icon for wax
WAXP
Profile Updated
182d
Project details updated.
Profile Updated
182d
Project details updated.
Profile Updated
185d
Project details updated.
Profile Updated
185d
Project details updated.
Profile Updated
186d
Project details updated.
project icon for tzero
TZEROP
Profile Updated
186d
Project details updated.
Profile Updated
187d
Project details updated.
Profile Updated
187d
Protocol and asset details updated.
project icon for skale
SKALE
Project Added as Signal
187d
SKALE is an Ethereum Layer 2 scalability protocol facilitating the formation and operation of on-demand elastic sidechains.
Project Added as Signal
206d
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
217d
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
220d
bZx is an Ethereum-based, decentralized cryptoasset lending protocol that facilitates margin trading of ETH and ERC-20 tokens.
Project Added as Signal
223d
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
234d
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
238d
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
241d
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
255d
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
283d
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
293d
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
298d
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
307d
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
324d
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
339d
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
350d
Supply Information added.
project icon for beam
BEAM
Profile Updated
353d
Supply Information added.
project icon for grin
GRIN
Profile Updated
353d
Supply Information added.
Profile Updated
356d
Supply Information added.
Profile Updated
356d
Supply Information added.
project icon for siacoin
SC
Profile Updated
356d
Mining Information added.
project icon for dash
DASH
Profile Updated
357d
Mining and Supply Information added.
Profile Updated
357d
Mining and Supply Information added.
Profile Updated
360d
Mining and Supply information added.
Profile Updated
361d
Mining and Supply Information added.
project icon for kin
KIN
Project Removed as Signal
368d
Kin removed as Signal.
project icon for simple
OST
Project Added as Signal
368d
OST added as Signal.
Profile Updated
382d
Signal profile updated.
Project Added as Signal
396d
Edgeware added as Signal.
Profile Updated
398d
Ethereum Classic profile added.
project icon for steem
STEEM
Profile Updated
410d
Signal profile updated.
Profile Updated
410d
Signal profile updated.
project icon for neo
NEO
Profile Updated
410d
Signal profile updated.
No icon fallback
KLAY
Project Added as Signal
410d
Klaytn added as Signal.
No icon fallback
ALTG
Project Added as Signal
416d
Althea added as Signal.
Profile Updated
423d
Signal profile updated.
No icon fallback
UMA
Project Added as Signal
430d
UMA added as Signal.
No icon fallback
LIBRA
Project Added as Signal
430d
Libra added as Signal.
Project Added as Signal
436d
Chainlink added as Signal.
Profile Updated
442d
Signal profile updated.
Profile Updated
449d
Signal profile updated.
project icon for chia
CHIA
Profile Updated
454d
Signal profile updated.
project icon for bitfinex-leo
LEOTOKEN
Project Added as Signal
460d
Bitfinex LEO added as Signal.
project icon for coda
CODA
Profile Updated
466d
Signal profile updated.
Project Added as Signal
472d
Paxos added as Signal.
project icon for celo
CELO
Project Added as Signal
478d
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, played a significant and active role in TrueBit’s development.

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.

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 designed primarily for use on the Ethereum blockchain, it is theoretically possible for TRU tokens to be transferred to other blockchains alongside which TrueBit is operating via a ‘burn-and-mint’ mechanism. TrueBit. TrueBit did not hold a token sale, and its development was instead supported only by equity fundraising, primarily obtained from Polychain Capital.