Pricing the Unprovable: Ambiguity, Turnstile Runs, and the Verifiability Discount in Crypto Protocols
Researchers quantify a verifiability discount when privacy coins patch flaws without proving past non-exploitation.
Stories per day · 30 days
2 RSS
Relatedcryptocurrency1gguf1huggingface1llama.cpp1llm1market-impact1model-signing1orchard1privacy1quantization1supply-chain1zcash1
4 stories, newest first · one card per story
Stories tagged #verifiability
What You Sign Is Not What You Run: The Verifiability Gap in Quantized LLM Supply Chains
Researchers find signed full-precision LLMs cannot verify popular GGUF builds, with verifiability at 0 of 198 repos.
Human-LLM Deliberation as Interactive Proof: Conditions for Verifiability Without Transparency
A paper models human-LLM deliberation as an interactive proof with soundness bounds for accepting claims.
Why the current tech backlash feels different
The Verge's Decoder mailbag discusses the current tech backlash, arguing AI hype overstates verifiability outside software engineering.
5