TrueBit Protocol is a cryptocurrency initiative that’s bringing scalable computation to blockchains. They provide scalable off-chain computation for Ethereum using the TrueBit Protocol.
Currently, the computational power on the Ethereum network is limited due to several factors. The concept of gas and gas limits are the ones that prevents large and complex computations and code from being allowed on-chain.
What is the purpose of the gas limit?
The Verifier’s Dilemma:
Situation: Sia puts up a huge transaction and gives an incentive by attaching a really big transaction fee to attract miners.
Miner A, who just mined the block, sees the transaction and says, “Wow that’s a huge incentive, I’ll include that in my block!”
Miner B, Miner C, Miner D, and Miner E looks at the transaction and enters a state of dilemma called, “Verifier’s Dilemma.”
Miners B, C, D, and E are faced with 2 options:
Option 1: Verify the massive transaction which causes these 4 miners to stay behind in the mining race.
Option 2: Skip the verification, but end up mining on the wrong chain, and no miners will follow.
In Summary: Computation on the Ethereum network is limited by the block gas limit. Without a proper solution, this could potentially render many future applications too costly to operate or infeasible. With the eventual growth in complexion to DApps and smart contracts, the network will need a solution to on-board these big smart contracts, as well as compute them at a lower cost and higher efficiency.
Video Interview with Truebit Founder Jason Teutsch:
TrueBit solves this problem by harnessing the power of off-blockchain computers to verify computations, what is called the Truebit Protocol — utilizing their API called ‘createTask’ on the TrueBit smart contract.
TrueBit is all about outsourcing heavy computations. An example may be that a complex code will require hundreds of hours of computing, instead of having every node process those hours of computing, a protocol will ensure the result matches the algorithm output. The computations are done outside of the blockchain, and only the verified final result is then sent to the blockchain.
TrueBit’s solution to solving larger computes, is the creation of an off-chain protocol and having a single solver process the large code.
A pool of verifiers would volunteer to offer verification services and processing to then approve the work of the solver.
Example of current situation: A code is sent on-chain, and all 100,000 nodes must process and solve that code on-chain.
Example of proposed situation: A code is sent off-chain, and only one person processes, and solves that code. A handful would then be verifying.
The result is much cheaper transaction fees, ability to process bigger computations, and lower usage of processing power on-chain.
TrueBit’s Verification Game:
The step by step process of how the protocol works is as follows:
Step 1: Dan the Developer uploads a big code and offers a reward to the solver in the off-chain market.
Step 2: A Solver submits a deposit (the deposit is in the event that a dispute occurs), then runs the computation and posts the results back on the off-chain market.
Step 3: Any number of verifiers may also run the computation to verify that the answer and results are correct.
Step 4: After a set period of time, if there are no disputes or challenges, the answer is then, “accepted”, and the solver receives his payment as well as gets his deposit returned.
What happens when there’s a challenge?
When a verifier challenges the results of a solver, the adjudication system begins and the on-chain miners become the judge.
The issue is then narrowed down by binary search.
In the fig. above we see that, the dispute is about a computational program of 1,000,000 steps. Both the parties compute and submit Merkle tree of full state (memory) at Step 1, Step 500,000, Step 750,000, Step 625,000 and so on. After 20 rounds, agreement changes to disagreement in one step (Step 638,295 to Step 638,296). Both submits the Merkle proof and smart contract verifies (re-compute just a single step) with no effort and finds the cheater. It took 20 rounds which is very small in comparison to 1,000,000 rounds and hence faster on chain than actually doing all the computation.
The on-chain miners would only have to determine whether the solver or the verifier is correct within a few rounds, rather than 1,000,000 steps.
If the Solver is correct: The Solver will claim the reward, and the Verifier will lose their deposit for raising a, “false alarm.”
If the Verifier is correct: The Verifier will claim the reward, and the Solver will lose their deposit for posting the incorrect result.
This thus makes TrueBit a Unanimous Consensus Protocol.
A problem that arises from a solver being obliged to always producing the correct result and being honest, is that, over the course of time, it could demotivate verifies from offering verification services and processing power, because they know that the solver has no incentives to be dishonest.
To keep the verifiers incentivized, TrueBit introduces the concept of Forced Error.
The concept of forced error, is that at random intervals, the TrueBit server would submit an incorrect solution. Verifiers who find these incorrect solutions would then win a jackpot.
This creates mutual incentives for solvers and verifiers across the protocol.
In Summary: In the TrueBit protocol, an interactive ‘verification game’ will decides whether or not a contested computational task was performed correctly.
The verification game will go through a series of rounds, with each round recursively checking smaller and smaller subsets of the computations. Empowering anyone on the network to verify, compute or generate task in exchange for rewards.
Nothing announced as of April 12, 2018.
TrueBit’s TRU tokens will be the form of payment used within the protocol to pay verifiers, adjudicators, and solvers. The primary function of TRU is to reward Verifiers for correctly performing computational tasks. The tokens will also be used to make initial deposits that all verifiers and solvers must do, to prevent bad actors.
Given that a self-sustaining system for incentivizing verifiers must exist, the TrueBit protocol has a verification tax.
Any Task Giver that calls a TrueBit contract must pay not only the cost of computational work done by the Solver but also for the work done by the Verifier(s), as well as the work done by Referees and Judges.
Although the preliminary incarnation of TrueBit will inhabit Ethereum’s blockchain, one may adapt it for other ecosystems as well.
Users will have the ability to transfer TRU tokens by burning them on one blockchain while minting them on another
Create your free account to unlock your custom reading experience.