https://github.com/chainwayxyz/toy-bitvm-rs

https://github.com/chainwayxyz/toy-bitvm-rs

Last synced: 6 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/chainwayxyz/toy-bitvm-rs
• Owner: chainwayxyz
• License: mit
• Created: 2023-11-24T07:59:51.000Z (12 months ago)
• Default Branch: main
• Last Pushed: 2024-02-02T11:50:50.000Z (10 months ago)
• Last Synced: 2024-08-01T21:42:12.397Z (3 months ago)
• Language: Rust
• Size: 1.04 MB
• Stars: 27
• Watchers: 3
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-bitvm - Toy BitVM RS

README

        
# Toy BitVM in Rust

Experimental toy BitVM implementation in Rust.

It is recommended to always use [cargo-crev](https://github.com/crev-dev/cargo-crev)

to verify the trustworthiness of each of your dependencies, including this one.

Run regtest with the following command:

```

bitcoind -regtest -rpcuser=admin -rpcpassword=admin -rpcport=18443 -fallbackfee=0.00001 -wallet=admin

```

Then run the following command to generate blocks continuously:

```

sh ./regtest-commands.sh

```

Then start the verifier binary with the following command:

```

cargo run --bin verifier

```

Start the prover binary with the following command in another terminal:

```

cargo run --bin prover

```

From now on, you can start challenging gates and waiting for the prover to respond. 

There is a fraud hardcoded in the code. Challenge `64` for first, then `63` to see the fraud and slash the prover.