iroha
iroha copied to clipboard
`SignedTransaction` vs `SignedBlock` invariant mismatch
I understand the signatures correctness is an invariant of `ValidBlock`, but it looks a bit confusing to me that `SignedBlock` only guarantees its signatures are not empty and have no duplicates while `SignedTransaction` guarantees its signature passes verification
Originally posted by @s8sato in https://github.com/hyperledger/iroha/pull/5140#discussion_r1794675993