SageMath code for comparing Claymore proof sizes against competition for a benchmark computation.
aszepieniec/claymore-benchmark
SageMath code for comparing Claymore proof sizes against competition for a benchmark computation.
Sage
SageMath code for comparing Claymore proof sizes against competition for a benchmark computation.
Sage