Abstract:A functional commitment (FC) scheme enables committing to a vector x and later producing an opening proof π for a function value y=f(x) with function f in some function set ℱ . Everyone can verify the validity of the opening proof π w.r.t. the function f and the function value y. Up to now, the largest function set is the bounded-depth circuits and achieved by FC schemes in [Peikeit et al. TCC 2021, De Castro et al. TCC 2023, Wee et al. Eurocrypt 2023, Wee et al. Asiacrypt 2023] with the help of the homomorphic encoding and evaluation techniques from lattices. In fact, these FC schemes can hardly support circuits of large depth, due to the fast accumulation of noises in the homomorphic evaluations. For example, if the depth of the circuit is linear to the security parameter λ , then the underlying _γ problem will be accompanied with a super-exponentially large parameter γ >(λlogλ )^Θ (λ ) and can be easily solved by the LLL algorithm. In this work, we propose a new FC scheme supporting arbitrary circuits of bounded sizes. We make use of homomorphic encoding and evaluation as well, but we disassemble the circuit gate by gate, process the gates, and reassemble the processed gates to a flattened circuit of logarithm depth O(logλ ) . This makes possible for our FC scheme to support arbitrary polynomial-size circuits. Our FC scheme has the common reference string (CRS) growing linear to the size of the circuit. So CRSs of different sizes allow our FC scheme to support circuits of different (bounded) sizes. Just like the recent work on FC schemes [Wee et al. Eurocrypt 2023, Asiacrypt 2023], our FC scheme achieves private opening and target binding based on a falsifiable family of “basis-augmented” SIS assumptions. Our FC scheme has succinct commitment but not succinct opening proof which of course does not support fast verification. To improve the running time of verification, we resort to the non-interactive GKR protocol to outsource the main computation in verification to the proof generation algorithm. As a result, we obtain an improved FC scheme which decreases the computational complexity of verification with a factor O(λ ) .

CNF Encodings of Symmetric Functions

A framework for good SAT translations, with applications to CNF representations of XOR constraints

The Approximate Degree of DNF and CNF Formulas

On CNF formulas irredundant with respect to unit clause propagation

Simulating Parity Reasoning (extended version)

Deriving Nonuniform Lower Bounds from Uniform Nondeterministic Lower Bounds

A characterization of efficiently compilable constraint languages

Hardness of Random Reordered Encodings of Parity for Resolution and CDCL

The splitting power of branching programs of bounded repetition and CNFs of bounded width

New Advances in Compiling CNF into Decomposable Negation Normal Form

Bounded-Depth Frege Lower Bounds for Random 3-CNFs via Deterministic Restrictions

Recognizing Read-Once Functions from Depth-Three Formulas

Lower Bounds for Symmetric Circuits for the Determinant

On SAT representations of XOR constraints

Functional Commitments for Arbitrary Circuits of Bounded Sizes

On the enumeration of signatures of XOR-CNF's

Smaller ACC0 Circuits for Symmetric Functions

Constructing Boolean Functions with (potentially) Optimal Algebraic Immunity Based on Multiplicative Decompositions of Finite Fields

The Fourier Entropy-Influence Conjecture For Certain Classes Of Boolean Functions

Polynomial Time Algorithm for Boolean Satisfiability Problem

Erdős-Selfridge Theorem for Nonmonotone CNFs