CTV+CSFS: Can we reach consensus on a first step towards covenants?

Protocol Design
, ,
3

If I wanted to arrive there I would probably go with:

  1. CTV + CSFS + IKEY [+ PC]
  2. TXHASH + CCV [+ CAT]
  3. GSR + ECops

TXHASH and CCV together make it extremely unlikely that CAT would be used for wonky inefficient introspection.

If you have PC you can delay CAT, but you need multi-commitments and Merkle stuff eventually. Alternatively you can go for CAT in step 2.

STARKs become a possibility at step 2 with CAT and afaik pretty much a certainty at step 3.

1 Like