conftrace_

succinct proof

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

constraint system (1) proof protocol (1) approximate satisfiability (1) verifiable computation (1) numerical computation (1)

Papers

Spain: Succinct Proofs for Numerical Computations OSDI 2026