[clarity] Clarity-Bitcoin v5 (generalized commit-reveal)

[setzeus]

Feature Description
This issue is a marker for visibility on the tremendous job that @MarvinJanssen is doing updating the Clarity-Bitcoin contract. One of the main goals of Sprint 6 (& possibly 7) is to create a v5 of the Clarity-Bitcoin library.

One of these updates consist of generalized commit-reveal logic for multiple use-cases.

Proposed Solution
I believe the current solution is to split up commit-reveal into two smaller contracts. Does that mean that the Clarity-Bitcoin library has now expanded to three files? (4 including mini).

Additional Context
Due to the lack of a central home (first Jude's repo, now Friedgers), I'm not entirely sure where this v5 will live so we must make sure to link that repo back here to appropriately track & close this issue.

[setzeus]

Draft completed here: https://github.com/MarvinJanssen/clarity-commit-reveal

Next task is to start creating unit tests. Priority is getting feedback from @FriendsFerdinand for required changes.

[setzeus]

• Asked Friedger for write permission
• TXID calculation for SG transactions
• Additional guards
• Checking that nothing is left-over

[setzeus]

Will switch focus to writing tests.

[setzeus]

In process of handing-off logic from @MarvinJanssen to @FriendsFerdinand but blocked by 256-bit operations atm.

[FriendsFerdinand]

We can generate the scriptpubkey that would show in a commitment transaction using the signers pubkey and the script contained in the transaction. This function can generate the scriptpubkey:

https://github.com/FriendsFerdinand/clarity-tapscript/blob/main/contracts/tapscript.clar#L7

Limited by the runtime. To test it, have to store the state in disk then continue running in separate transactions.

[setzeus]

Do we know costs for ClarityWASM? @obycode will there be 256-bit numbers / any way the work you guys can help here?

[setzeus]

@MarvinJanssen generating a ton of test transactions for generalized commit-reveal. What examples can we show in sBTC?

[obycode]

Do we know costs for ClarityWASM? @obycode will there be 256-bit numbers / any way the work you guys can help here?

We don't know cost numbers yet. @AshtonStephens mentioned that you might need 256 bit arithmetic. We can definitely add that to our list, and it shouldn't be terribly difficult, but it will still be some time before we have a complete VM ready for you to test it out. In the meantime, you could run a testnet with modified costs or block-limits as a workaround. What kind of cost numbers are you seeing currently?

[setzeus]

As discussed by @MarvinJanssen for the DR release if this isn't feasible then we could not check for commit & only check a reveal if it fits a previously-known / accepted script template.