Hacker Newsnew | past | comments | ask | show | jobs | submit | from login

Show HN: ZK-auctions – experimenting with zero-knowledge sealed-bid auctions (github.com/ndrwnaguib) 2 points by ndrwnaguib 44 days ago | past Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib) 188 points by ndrwnaguib 10 months ago | past | 34 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: