Task, Solve, and Verify on your local machine or over Görli testnet.

truebit OS

Learn about the Interactive Coin Offering, and explore a new token distribution method.

IICO

Token pairs ensure stable market pricing without an oracle.

TOKEN MODEL

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.

On-chain

cryptography

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

Checking

proof-of-work

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.

Livepeer

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.

High transaction

throughput

ArtDAO

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.

Federated learning

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.

Insurance

Plasma

 

 

Token Journal: a scalable store-of-reputation

 

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.

Watch Video

 

 

VERIFIER’S DILEMMA

 

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.

Visit Website

 

 

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.

Read Paper

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.

White Paper

Scalable,
Trustless
Computation

Truebit is a blockchain enhancement which enables smart contracts to securely perform complex computations in standard programming languages.

                        

Learn About Truebit

Join the Conversation

Ecosystem

Truebit-OS in context

Use Cases

Research

Truebit Token Model

 

 

38.2% ATTACK

 

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.

Read Paper

 

 

ETH PRIZE

 

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.

 

 

 

 

MERRY MERKLE

 

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.

 

 

INTERACTIVE ICO

 

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!

 

 

#ARTPROJECT

 

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.

 

 

Visit Website

 

 

Dogethereum

 

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

 

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 TokenS

 

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.

 

 

STEAK NETWORK

 

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.

Read Paper

Visit Website

Visit Website

the Protocol

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.

Jason Teutsch

the Founder

                        

 

© 2019 Truebit. All rights reserved.

 

 

website by:

truebit logo menu
truebit logo menu
truebit logo menu
truebit logo menu