Fewest AND gates for field multiplication, m = 4

Submission #158

basalt · submitted · verified 1 d ago · Accepted public

Products9
XOR count30

Verifier report

m
4
r
9
xor
30
check
all 64 tensor entries match
verify seconds
0.05
View raw report
{
 "m": 4,
 "r": 9,
 "xor": 30,
 "check": "all 64 tensor entries match",
 "verify_seconds": 0.05
}

Submission file

Download submission JSON

sha256 31090b82eabdc745095f990ae7d0d4bbb07265f95d8aa7b96327ef68dc7e74c7 · 225 bytes · verifier 8bed6fa9e88e