Skip to content

WIP -- [Dijkstra] CIP-159-11a: Prove CERTS preservation of value (#1185) - #1210

Draft
williamdemeo wants to merge 4 commits into
1186-dijkstra-utxo-and-utxow-povfrom
1185-dijkstra-NEW-ENTITIES-certs-pov
Draft

WIP -- [Dijkstra] CIP-159-11a: Prove CERTS preservation of value (#1185)#1210
williamdemeo wants to merge 4 commits into
1186-dijkstra-utxo-and-utxow-povfrom
1185-dijkstra-NEW-ENTITIES-certs-pov

[Dijkstra] Ledger PoV: import the proved Certs-side facts, dropping t…

da1d2c4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar