search

hexresearch / hschain-utxo

UTXO-based contracts for hschain
0 stars 0 forks source link

Part 2 of refactoring of Σ expressions #237

Closed Shimuuar closed 3 years ago

Shimuuar commented 3 years ago
  1. SigmaE got Bifunctor & Serialise instances
  2. Creation of local proof is decomposed into smaller steps
  3. More specific node tags are used at each step of proof creation
  4. Seq is replaced by plain lists in ProvenTree
  5. SigmaE is used instead of FiatShamir
  6. ByteRepr instance for DTuple is dropped
  7. Instances' contexts are simplified where possible