formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Forbidding duplicate certificates

Open WhatisRT opened this issue 1 year ago • 0 comments

The implementation as of Conway forbids duplicate certificates in the same transaction. We don't have to add this restriction right away since the implementation is allowed to be more restrictive than the spec, but if we ever do negative conformance tests we may have to implement it anyway.

WhatisRT avatar Nov 03 '23 14:11 WhatisRT