zkPi: Proving Lean Theorems in Zero-Knowledge

20 views

Skip to first unread message

unread,

Aug 23, 2024, 6:40:30 PM8/23/24

to guaranteed-safe-ai

Nice paper by Dan Boneh and colleagues on creating zero-knowledge proofs from Lean theorems. There are tons of important applications of this!

Best,

Steve

Reply all

Reply to author

Forward

0 new messages