Lanckneht

Results 3 comments of Lanckneht

Use more cores with rayon while syncing with the CDN

gm

Adds minor additional checks on metadata

gm

Carry along an updateable universal_prover during synthesis and execution

gm