Yura pfp
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