Open survived opened 1 year ago
NI proofs accept shared_state: impl Digest which doesn't actually make sense. We should replace it with shared_state: impl AsRef<[u8]>
shared_state: impl Digest
shared_state: impl AsRef<[u8]>
I want to make this change with another change: moving to struct-of-refs for every argument, like we do for some proofs already.
NI proofs accept
shared_state: impl Digest
which doesn't actually make sense. We should replace it withshared_state: impl AsRef<[u8]>