arXiv cs.CR·10d agoLocus: A Framework for Exploring and Optimizing Point Addition Hardware for Zero-Knowledge Proofs#asic#cryptography#elliptic-curvesResearch1
arXiv cs.CR·13d agoEfficient Branch-and-Bound Testing and Verification of zkVMs#branch-and-bound#formal-verification#smart-contractsResearch1
The Decoder·15d agoThe Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable#ai-safety#formal-methods#jacob-tsimerman
arXiv cs.CR·19d agoGuppy: Efficient Light Clients via Recursive Zero-Knowledge Proofs#blockchain#light-clients#merkle-treeResearch
