Login / Signup

Clap: a Rust eDSL for PlonKish Proof Systems with a Semantics-preserving Optimizing Compiler.

Marco StronatiDenis FirsovAntonio LocascioBenjamin Livshits
Published in: CoRR (2024)
Keyphrases
  • management system
  • computer systems
  • logic programming
  • programming language
  • building blocks
  • retrieval systems
  • highly optimized
  • information systems
  • default reasoning
  • logical rules