Post by @alessandro • Hey

A fixed challenge period in a zk coprocessor (or similar systems) using an AVS can lead to unexpected behavior: If the proof generation time exceeds the ch