Fewest AND gates for field multiplication, m = 4

Submission #9

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

Products9
XOR count31

Verifier report

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

Submission file

Download submission JSON

sha256 5f80239aa0781eb17ba4ef5a088cd0f47894abd87ff88d37930bdbfc9d4a8fce · 225 bytes · verifier bd8919cb5dec