Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·2d
Loading...Loading more...
Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning