Open harrysolovay opened 3 months ago
I agree with this proposal! Much more self-documenting. The required base type for method inputs could be Record<string, Provable<any>>
would be awesome to combine this with https://github.com/o1-labs/o1js/issues/510 somehow
Looking at the recursion docs, I think some subtle changes would result in greater legibility. Let's consider the following:
privateInputs
corresponds to which of the rest-spread parameters ofmethod
.privateInputs
.Ideally we could do the following.
This also spares the developer of needing to––in their minds––shift the private inputs over by 1 (accommodating the public input).