S Fu, G Gong - Proceedings on Privacy Enhancing Technologies, 2022 - petsymposium.org
We present a new zero-knowledge succinct argument of knowledge (zkSNARK) scheme for
Rank-1 Constraint Satisfaction (RICS), a widely deployed NP-complete language that …