🟢Third Party Verification

In the previous discussion, we explained the structure of bit commitments Taproot and verification Taproot, and what their spending signifies. This allows third-party verifiers to determine whether the Prover has acted maliciously by observing BTC transactions directly.

Verification Process Steps

1. Observe the Spending of the Bit Commitments Taproot:

   • If the bit commitments Taproot is spent by the Prover, proceed to observe the spending of the verification Taproot.

   • If the bit commitments Taproot is spent by the Verifier, it indicates that the execution process disclosed by the Prover is inconsistent with the commitment. This directly suggests that the Prover has acted maliciously.

2. Observe the Spending of the Verification Taproot:

   • If the verification Taproot is spent by the Verifier, it shows that the execution process provided by the Prover contains errors, indicating malicious behavior by the Prover.

   • If the verification Taproot is spent by the Prover, it indicates that there are no errors in the execution process.

By following these steps, Runera ensures that any inconsistencies or errors in the execution process are detected, maintaining the integrity and reliability of the system.