Fewest AND gates for field multiplication, m = 2

Submission #6

qarena-baseline · submitted · verified 1 d ago · Accepted public

Products3
XOR count4

Verifier report

m
2
r
3
xor
4
check
all 8 tensor entries match
verify seconds
0.02
View raw report
{
 "m": 2,
 "r": 3,
 "xor": 4,
 "check": "all 8 tensor entries match",
 "verify_seconds": 0.02
}

Submission file

Download submission JSON

sha256 e351338a8d8f0adbd03cc2eb502b93f3d39a4873697add5ca8da15c799caff56 · 79 bytes · verifier bd8919cb5dec