Dan Boneh
Israeli-American professorWikipedia
3
MENTIONS
3
EPISODES
3
PODCASTS
Search complete. 3 mentions across 3 episodes found for "Dan Boneh".
Oct 9, 2026
“Proof of useful work for verifying AI treaties” by Ondřej_Kubů 🔸
T
26:41Type 3 AudioNARRATOR
Bit-exact recomputation requires an exact model of each device's matrix arithmetic, including rounding, subnormal numbers, accumulator width, and the grouping and order of summation.
T
26:53Type 3 AudioNARRATOR
For Nvidia GPUs, Bodash, Boneh, Komargodsky, and Srivastava, Pearl Research and Stanford built such a model called Hawkeye ML System twenty twenty-six.
T
27:04Type 3 AudioNARRATOR
Since Nvidia does not document these details, the model was reverse engineered by black box tests.
T
27:11Type 3 AudioNARRATOR
It reproduces tensor core products bit for bit on a CPU for the Ampere, Ada Lovelace, and Hopper generations, and the white paper adds Blackwell.
Keeping AI or SI open, Will math discoveries break ECDSA, Pathways for agentic payments
M
61:42Max WebsterHOST
That's my number one question.
S
61:42Steve LeeHOST
I mean, it's, I would guess Dan Boneh, you know, famous cryptographer who focuses a lot on cryptocurrency out of Stanford-
M
61:48Max WebsterHOST
Yeah
S
61:48Steve LeeHOST
... he's at Stanford, he's well-known.
How Crypto Is Rebuilding Finance From First Principles
G
7:26Guy WuolletGUEST
I was, I was an intern in college.
G
7:28Guy WuolletGUEST
I was a, a TA for Dan Boneh, who teaches a lot of the cryptography and blockchain classes at, at Stanford.
R
7:34Robert HackettHOST
And is a research advisor here.
G
7:36Guy WuolletGUEST
Yes.