conftrace_

approximate satisfiability

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

constraint system (1) proof protocol (1) succinct proof (1) verifiable computation (1) numerical computation (1)

Papers

Spain: Succinct Proofs for Numerical Computations OSDI 2026