open source proof verifiers
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement Feb 26, 2026 by Corinna Hong · across every show →
Everything said about open source proof verifiers, oldest first
Feb 26, 2026 bullish
Axiom's proof verifier is 100 times faster than open-source alternatives
“So a lot of the sort of like verify, verify proof is actually, you know, one of our prover tools that's about to be released, and that's actually a hundred times faster than The other counterparts that are the open source, like effort, cloud comparator.”