conftrace_

proof protocol

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Spain: Succinct Proofs for Numerical Computations OSDI 2026