Open whyrusleeping opened 5 years ago
The leaderboard shows this: {"id":267,"prover":"whysnark","repl_time":23758,"params":{"id":7958549527653411530,"typ":"Zigzag","size":-2147483648,"challenge_count":200,"vde":0,"degree":6,"expansion_degree":6,"layers":10,"is_tapered":true,"taper_layers":7,"taper":0.3333333333333333}},
can you try again?
ping
Heres my proof.json prefix: