An Effective Orchestral Approach to Satisfiability Modulo Prime Fields

Miguel Isabel, Enric Rodríguez-Carbonell, Clara Rodríguez-Núñez +1

Zero-knowledge proofs (ZKPs) are an emerging technology that has become the solution to efficiently provide security and privacy along with the transparency requirement of blockcha…