Module arrabiata::verifier

source ·
Expand description

A verifier for the folding/accumulation scheme