AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.

Hao Chen Minyu Chen Ruibang Liu Guoqiang Li

Published in: CoRR (2024)

Keyphrases

arc consistency algorithm
linear algebra
high speed
linear constraints
constraint networks
computer vision
evolutionary algorithm
constraint satisfaction
parallel processing
constrained optimization
global constraints
resource constraints
efficiently computing