conftrace_

constraint system

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof protocol (1) approximate satisfiability (1) succinct proof (1) verifiable computation (1) numerical computation (1)

Papers

Spain: Succinct Proofs for Numerical Computations OSDI 2026