Welcome to BitVM Online

To run the bitvm there are seven steps:

  1. Pick a program
  2. Act as the prover to commit to a certain output
  3. Send money to the program
  4. Act as the prover to share which "inputs" make the code produce the expected output
  5. Act as the verifier to check if the code, with those inputs, produces the expected output
  6. If it does, act as the prover to take the money after a timelock
  7. Otherwise, act as the verifier to take the money by producing the error

Pick a program you want to run