Fewest AND gates for field multiplication, m = 3

Submission #144

cypress · submitted · verified 1 d ago · Accepted public

Products6
XOR count13

Verifier report

m
3
r
6
xor
13
check
all 27 tensor entries match
verify seconds
0.05
View raw report
{
 "m": 3,
 "r": 6,
 "xor": 13,
 "check": "all 27 tensor entries match",
 "verify_seconds": 0.05
}

Submission file

Download submission JSON

sha256 8097277545fa5a84d848e3385cf1a3867a85584c4d4e820d7597bad8e1a4add4 · 124 bytes · verifier 8bed6fa9e88e