Task, Solve, and Verify on your local machine or over Görli testnet.
Learn about the Interactive Coin Offering, and explore a new token distribution method.
Token pairs ensure stable market pricing without an oracle.
Truebit combines with bulletproofs to achieve compact, zero-knowledge proofs without trusted setup. Smart contracts can leverage Truebit to execute complex operations such as bilinear maps, ring signatures, homomorphic encryption, or secure code validation.
Smart contracts consume network computation and storage resources as they update the system’s global state. Some operations may demand more resources, or gas, than the blockchain network’s modest, per-block limit permits. Truebit offers secure computation for smart contracts beyond this native capacity.
Verification of some underlying consensus, such as Ethereum's Ethhash or Litecoin's Scrypt, requires memory resources exceeding the practical limits of smart contracts. By moving such computation off-chain, Truebit enables dependent use cases such as the Dogethereum two-way peg and SmartPool mining.
Out of gas
Livepeer’s decentralized, live, streaming video platform permits Transcoders to earn rewards by processing content into various codecs and formats. Truebit verifies outputs of transcoding tasks, thereby guaranteeing content quality as well as fair remuneration for Transcoders. Users can share video without relying on a centralized resource or authority.
A machine entity with blockchain-based financial resources and access to computational power could conceivably sustain itself by producing art, selling it, and using sale revenue to refine its own program code. Truebit serves as a catalyst for combining the power of unstoppable, autonomous systems, like Bitcoin and Ethereum, with machine learning.
Miners both select transactions to include in blocks and verify block contents. One can imagine a blockchain consensus protocol which decouples these two activities so that miners need only select blocks, and blocks clear once Truebit verifies them. Apply Truebit for bookkeeping tasks like cumulative interest payments and batch trading.
Share and process information without revealing raw local data to the network. Truebit can securely perform machine learning and statistical operations without burdening or trusting user edge nodes. Underlying consensus guarantees correct execution in the presence of economic incentives.
Plasma scales transaction throughput through a hierarchy of blockchains in which parent “chains” have greater authority than their children. When a provable malfunction, or “fraud proof,” occurs in a child chain, a witness of that error allows its parent to reconcile the error via Truebit verification.
The dream of fair premiums together and accurate, efficient claim processing without a trusted, centralized manager requires computational consensus. Assuming formal event criteria, Truebit can transparently aid in verifying claims, automating payouts, and maintaining premiums.
The blockchain era has ushered in a rapidly increasing number of whitepapers. We use blockchain and tokenization technologies to improve the scalability and effectiveness of the peer review process and incentivize basic research.
Most blockchains use contract scripts to support applications beyond simple cash transactions. We analyze the extent to which these systems can correctly enforce scripts. Practical attacks may lead to an ill-fated choice, which we call the verifier's dilemma. We introduce an outsourced computation protocol securely in Ethereum, which offers proper incentives for achieving correct computational results.
Smart Contracts Make Bitcoin Mining Pools Vulnerable
Despite their incentive structure flaws, mining pools account for more than 95% of Bitcoin's computation power. This paper introduces an attack against mining pools in which a malicious party pays pool members to withhold their solutions from their pool operator. We show that an adversary with a tiny amount of computing power and capital can execute this attack.
While smart contracts can perform small computations correctly, large computation tasks pose security risks for blockchains. Truebit counteracts this shortcoming via a trustless, retrofitting oracle which correctly performs computational tasks. Any smart contract can issue a computation task to this oracle in the form of WebAssembly bytecode, while anonymous “miners” receive rewards for correctly solving the task.
The oracle’s protocol guarantees correctness in two layers: a unanimous consensus layer where anyone can object to faulty solutions, and an on-chain mechanism which incentivizes participation and ensures fair remuneration. These components formally manifest themselves through a combination of novel, off-chain architecture and on-chain smart contracts.
Rather than relying on external, cryptographic proofs of correctness, Truebit leverages game theoretic principles to effectively increase the on-chain computation power of existing networks.
Nakamoto consensus with respect to rational miners shows how a minority of the computation power can incentivize the rest of the network to accept a blockchain of the minority's choice. By deviating from the mining protocol, a mining pool which controls at least 38.2% of the network’s total computational power can, with modest financial capacity, gain mining advantage over honest mining.
On Decentralized Oracles for Data Availability
The protocol underlying Bitcoin has the potential to secure a new class of systems which agree on non-mathematical truths. We propose a design for a trustless, data availability oracle. This exposition reduces the problem of determining whether or not a registered datum is publicly available to the problem of constructing a network in which either almost all nodes can download a given datum, or almost none of them can.
ETHPrize is a community research and bounty project that identifies the most critical issues facing the ethereum ecosystem and organizes bounties to solve them. Navigate through these 100 interviews where the most influential players in the ethereum community share their, background, vision, and identified needs.
The Merry Merkle tree is a decentralized giving project enabled by the Ethereum blockchain and led by Truebit. Merry Merkle raised over $200,000 CAD during the 2018 holiday season in support of programs at Covenant House Toronto. Donations sent through the platform lit up Christmas tree lights at the house.
While token crowdsales cannot simultaneously guarantee buyers both certainty of valuation and certainty of participation, if each token bid specifies bounds on acceptable valuations, then all buyers can successfully participate via an interactive protocol. Get in touch if you’d like to distribute tokens via an IICO!
Truebit is creating a public art installation connected to the blockchain. This public structure will be a physical manifestation of the work Truebit can do off-chain. The #ArtProject Initiative fosters creative interactions and collaborations with innovators from different parts of the world.
More than just an exchange, a two-way peg permits transfer of both assets and data across consensus-independent blockchains. One can use Dogethereum to roll DOGE off of Dogecoin onto Ethereum and back via a trustless, retrofitting bridge, or, in a similar spirit, spill ERC-20 tokens off of Ethereum into the broader ecosystem.
SmartPool is a decentralized Ethereum mining pool protocol. Its smart contract-based operator allows members to select transactions while yielding low-variance payouts at small gas cost. Deployed pools have managed a peak hashrate of 30 GHs.
Truebit offers both stable consumer pricing and traditional mining rewards. Fiat prices for native CPU and TRU tokens reflect these principles, and we introduce bootstrapping techniques to kick off initial token distributions.
A decentralized social network of Steak enthusiasts. The core feature of the Steak Network is the Steakchain, a set of validated, user-submitted Proofs of Steak. The network uses Proof of Steak, a protocol capable of securing a blockchain given proofs that cannot be computed cryptographically, backed by Truebit and Proof of Stake.
Jason Teutsch is a mathematician and computer scientist whose research background includes distributed systems security, game theory, and algorithmic randomness. He has held postdoctoral positions at National University of Singapore, Penn State, and Universität Heidelberg, research positions at think tanks RAND and IDA, and multiple Fulbright fellowships.