[ICS23] add conversion checks for ProofSpec
, LeafOp
, and InnerSpec
structs
#1108
Labels
A: good-first-issue
Admin: good for newcomers
O: reliability
Objective: cause to improve trustworthiness and consistent performing
Milestone
Description
Current struct definitions for
ProofSpec
,LeafOp
,InnerSpec
lack essential conversion checks between their proto and domain types. This allows e.g. unchecked negative values fori32
fields.Proposal
Define mirror domain types and utilize the
TryFrom
trait for robust conversion checks, ensuring type safetyThe text was updated successfully, but these errors were encountered: