From 52edd72a5583a8d76bfbd37cef567d2e54262ee1 Mon Sep 17 00:00:00 2001 From: Robin Linus Date: Fri, 8 Mar 2024 05:02:28 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4edc89d..e826fd4 100644 --- a/README.md +++ b/README.md @@ -5,7 +5,7 @@ BitVM enables a free market of second layer solutions scaling Bitcoin to billion ## Intro BitVM is a computing paradigm to express Turing-complete Bitcoin contracts. This requires no changes to the network’s consensus rules. Rather than executing computations on Bitcoin, they are merely verified, similarly to optimistic rollups. A prover makes a claim that a given function evaluates for some particular inputs to some specific output. If that claim is false, then the verifier can perform a succinct fraud proof and punish the prover. Using this mechanism, any computable function can be verified on Bitcoin. -BitVM is the foundational element to build bitcoin bridges to second layers such as sidechains, rollups, and [zkCoins](https://gist.github.com/RobinLinus/d036511015caea5a28514259a1bab119). +BitVM is the foundational element to bridge bitcoin to second layers such as sidechains, rollups, and [zkCoins](https://gist.github.com/RobinLinus/d036511015caea5a28514259a1bab119). ## Implementation - The [official BitVM implementation](https://github.com/BitVM/BitVM) in Rust