Proof

This document describes a mechanism for sender-constraining OAuth 2.0 tokens via a proof-of-possession mechanism on the application level. This mechanism allows for the detection of replay attacks with access and refresh tokens.

Abstract page for arXiv paper 2609.24931: A Proof of the Most Informative Boolean Function Conjecture

Abstract page for arXiv paper math/9404236: On proof and progress in mathematics

It is somewhat strange, but I haven't really spent much time working on proof production or recording out of egraphs.

Proof and Superfluid Finance are testing a way for AI agents to present reusable identity credentials when proposing transactions through Superfluid Wallet.

India's census is counting caste again, for the first time since 1931. So I went back to the last state that actually ranked it.In 1901 the colonial census did not just record caste. It ranked it: one table of social precedence for all of India, the order

Abstract page for arXiv paper 2609.17877: The Erdős--Sós Theorem

This is a guest post by Grant Sanderson. This blog post was initially written in a different file format and converted using AI. - T. A sentiment echoing throughout the mathematics communit…

This blog post looks at Fiat-Shamir from a practical security perspective: it explains why something that seems simple in theory can become surprisingly easy to get wrong. By using vulnerabilities found in real-world projects, we give developers and revie

Researchers receive a $6,500 bounty after reporting the vulnerabilities