proof verification: batch helper scalar inverses

crate-crypto / go-ipa

A Go implementation of cryptographic primitives for Verkle Trees

https://verkle.dev

Apache License 2.0

32 stars 14 forks source link

Closed jsign closed 1 year ago

jsign commented 1 year ago

This PR batches inverses of (t - z_i) when calculating helper scalars.

jsign commented 1 year ago

@kevaundray, looks like it stays indefinitely in the merge queue, waiting for a status check signal that never arrives. :thinking: