Skip to content

Latest commit

 

History

History
248 lines (200 loc) · 20.4 KB

README.md

File metadata and controls

248 lines (200 loc) · 20.4 KB
Raw

Awesome BitVM 💻 🪙 ⚡

Awesome

image

A curated list of resources around BitVM

Contributions are welcome

About

BitVM is a computing paradigm to express Turing-complete Bitcoin contracts. This requires no changes to the network’s consensus rules.

Committing to a large program in a Taproot address requires significant amounts of off-chain computation and communication, however the resulting on-chain footprint is minimal. As long as both parties collaborate, they can perform arbitrarily complex, stateful off-chain computation, without leaving any trace in the chain. On-chain execution is required only in case of a dispute.

Status Software

Currenctly BitVM is under development allows developers create bridges for now and some apps.

In the last update, BitVM now support SHA256 script

A PR from PayneJoe and Antalpha Labs reducing the size of the Groth16 verifier from ~4GB down to 2.9GB.

Potential Use Case

  • Complex smart contracts (ex. multisig, bridges...)
  • Prediction Markets
  • Privacy
  • 2WP for sidechains (Pegin and Pegout)
  • Bridges (on-chain <> sidechain)
  • Compatible with BIP-300/301
  • Low cost
  • Compatible with Groth16 and ZK
  • Rollups (ZK)

Resources

Tech Overview

BitVM operates on a simple yet powerful architecture involving two principal actors: the Prover and the Verifier. The Prover is the party that initiates a computation or claim, essentially saying, “Here’s a program, and here’s what I assert it will do or produce.” The Verifier, on the other hand, is responsible for validating that claim. This dual-role system enables a level of checks and balances, ensuring that the computational results are both accurate and trustworthy.

The ingenuity of BitVM lies in its handling of computational workloads. Unlike conventional blockchain operations, which put significant computational burdens on-chain, BitVM performs most of its complex calculations off-chain. This drastically reduces the amount of data that needs to be stored directly on the Bitcoin blockchain, enhancing efficiency and lowering costs. This off-chain methodology also provides greater speed and flexibility, as developers or users can run intricate programs or simulations without worrying about overwhelming the blockchain.

However, BitVM does employ on-chain verification when needed, especially in cases of disputes. Should the Verifier question the legitimacy of the Prover’s claim, the system will then refer to the unalterable, decentralised ledger of the Bitcoin blockchain to resolve the issue. This is accomplished through what are known as “Fraud Proofs.”

If the Prover’s claim turns out to be false, the Verifier can submit a concise fraud proof to the blockchain, thereby exposing the dishonesty. This not only settles the dispute but also maintains the overall integrity of the system. By integrating both off-chain computations and on-chain verifications, BitVM has struck a balance that offers both computational efficiency and robust security.

Optimistic Rollups are a Layer 2 scaling solution for blockchains that enable more efficient computation and data storage by performing most operations off-chain while maintaining the same level of security as on-chain transactions. The fundamental idea is to assume that all transactions are correct (“optimistic”) unless proven otherwise. Only if a dispute arises is the relevant data and computation published and verified on the main blockchain. This significantly reduces the amount of data that has to be stored on-chain, thereby freeing up space and lowering transaction fees.

In BitVM, Optimistic Rollups can be particularly beneficial. Recall that BitVM primarily works with two parties: a Prover and a Verifier. Most of the computational work happens off-chain, reducing the amount of data that needs to be stored on the Bitcoin blockchain. When a transaction is initiated, BitVM can use Optimistic Rollups to bundle multiple off-chain transactions into a single on-chain transaction, further reducing the blockchain footprint.

Moreover, in the event of a dispute, BitVM’s use of fraud proofs dovetails well with the “challenge-response” system inherent in Optimistic Rollups. If the Prover makes a false claim, the Verifier can quickly expose the dishonesty by providing a succinct fraud proof. This fraud proof would then be scrutinised within the Optimistic Rollup framework, and if validated, the dishonest party would be penalised.

BitVM Generations

Since BitVM gate, many developers joined into development of protocol. Follow below last generations:

image

Articles

Videos

Libraries

Sidechains

BitVM project VS Companies use "BitVM"

The BitVM project does not endorse any company

Extra lists

Disclaimer

Authors of this list is not responsible for eventual issues with third party projects be trading, speculation or any other thing.

Please do your own research

Donations

Rsync

Contributors