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

Published 20 hours ago • verified publisher icon IntersectMBO

Property: The voting power of stake credentials doesn't decrease on GA proposals

Open WhatisRT opened this issue 9 months ago • 0 comments

For a stake credential a and a transaction that spends an input with stake credential a to propose something and returning the remainder back to addresses with stake credential a, otherwise not touching a, the voting power of a does not change.

Proving this property is currently blocked by implementing the stake calculation.

WhatisRT avatar May 06 '24 11:05 WhatisRT