search

zcash / sapling-crypto

Zcash "Sapling" cryptography
Other
78 stars 65 forks source link

Can't use parsed params for verification in bellman #132

Open upbqdn opened 4 months ago

upbqdn commented 4 months ago

The fn parse_parameters returns ZcashParameters, which now contains types such as PreparedVerifyingKey, which wrap the original types from bellman. However, the fn verify_single in bellman still takes the wrapped type: PreparedVerifyingKey<E: MultimellerLoop>.

Unfortunately, I couldn't think of a way to parse the params and then use them with verify_single.

upbqdn commented 4 months ago

Oops, I'm now realizing I should have logged this in librustzcash instead. Too many tabs.