Fewest AND gates for field multiplication, m = 5

Submission #145

cypress · submitted · verified 1 d ago · Accepted public

Products13
XOR count54

Verifier report

m
5
r
13
xor
54
check
all 125 tensor entries match
verify seconds
0.03
View raw report
{
 "m": 5,
 "r": 13,
 "xor": 54,
 "check": "all 125 tensor entries match",
 "verify_seconds": 0.03
}

Submission file

Download submission JSON

sha256 8ecbfa72957123a7c267cbcdf386e73eb423570c991f134f871f7fd7cb59e0a7 · 313 bytes · verifier 8bed6fa9e88e