Closed AaronFeickert closed 10 months ago
Hardens Grootle proof verification in Spark transactions.
Offset commitments and challenge powers in Grootle proofs ought not to be zero. This PR ensures these things don't happen.
PR intention
Hardens Grootle proof verification in Spark transactions.
Code changes brief
Offset commitments and challenge powers in Grootle proofs ought not to be zero. This PR ensures these things don't happen.