Yura
@yuradmt
Feeling lucky to verify code where you don't have to simplify/harness stuff that causes timeouts on the prover side.
0 reply
0 recast
0 reaction