Ketika Presiden Soekarno menjelaskan tentang arti Pancasila kepada rakyat Amerika Serikat. Tonton video selengkapnya: Pidato Presiden Soekarno tentang Pancasila di Kongres Amerika Serikat tahun 1956  Link: https://t.co/B9rwqeZ9xD

Plinko PIR tutorial: https://t.co/i7W9a5MCHi

My "Latency" book is now available on Amazon! https://t.co/bbOzOxiIFm

Thank you Spirit Fingers, but I still really hope for a Season 2. Please

STARKs vs. SNARKs and the Quantum Threat Famously, STARKs are post-quantum secure but SNARKs break by quantum computers. Why? I'm referring here to the elliptic curve SNARKs, the kinds most of you are familiar with (like Groth16). A SNARK uses a "proving key" secret to allow

Check out the latest article in my newsletter: OWASP Top 10 LLM 2025

🎙️This week, @AnnaRRose and @nico_mnbl chat with Pratyush Mishra of @Penn about his research on making proofs more efficient, from tiny SNARKs and hash-based folding to proximity proofs, low-memory proving techniques, and new ZK use cases outside of blockchain.

The EU wants to create a Digital ID. They are thinking of using ZKPs. In our latest ZK Whiteboard Sessions module, we go over zkID with @therealyingtong Link below.

OP_CAT Urgency: How can Bitcoin avoid the quantum iceberg? Bitcoin is like the Titanic: It’s the best, biggest, badass vessel to sail through rough financial seas. But... There’s a huge iceberg out there -- the quantum computer -- and when it hits us, it will sink Bitcoin

Thrilled to share @commonwarexyz's first paper "Minimmit: Fast Finality with Even Faster Blocks" has been accepted at Financial Cryptography 2026! State-of-the-Art Performance ✅ Peer-Reviewed ✅ Deployed ⚒️ https://t.co/q7KUMvODp3

Mod 7 is out! zkID (Anonymous Credentials), w/ Ying Tong (@therealyingtong) In this module, we cover existing zkID systems, their flaws, and why we need zk-SNARKs to make them truly privacy-preserving. Here’s the link: https://t.co/U8Z7zw2exZ Thanks to @BainCapCrypto for

Spirit fingers never dies. https://t.co/xnveL4lxUF

An example of the SAP theorem that choose to prefer key theft over key loss

Over the next 10+ years, every software system in existence will migrate to post-quantum cryptography (secure against quantum computers). Some will migrate first, and some may only migrate when it's already too late. My current estimate of the migration* ordering: 1a.

Prediction about this "show which country the account is from" thing: In the short term it will have lots of positive effects. In the medium term, the sophisticated actors will find ways to pretend to be from countries that they are not. Lots of ways to rent individual people's

New paper! With @ittaia and Ling Ren. https://t.co/Dkt5Z0knxa Tl:dr: For consensus, we show that any protocol boasting strong censorship-resistance must incur a cost of 2 additional rounds of latency, compared to traditional leader-based protocols. (1/n)

We are upgrading our #relay encryption algorithm for improved security. In upcoming releases, Arti and #Tor will both support a new encryption algorithm called Counter Galois Onion (CGO). CGO prevents attackers from tampering with encrypted traffic, adds forward secrecy, and

in 5 years https://t.co/oPVAhf3zDB

wrote a little post about why I refuse to learn type-level programming in Haskell (or the details of OCaml's module system): https://t.co/G1HLCmFwBq (yes, I get to write Rocq and C++ for a living so this comes from a place of privilege, sorry)

Mathematicians I like -- Story time: Mike Saks is a famous combinatorialist from Rutgers University, and a really nice person. I want to tell you about the first time I met him. It was many years ago, I was a young PhD student, or maybe not yet a PhD student but only an

"The Matrix is everywhere. It is all around us. Even now, in this very room.” https://t.co/MSI5R4axj1