Bitcoin is the most sovereign money ever created.
It is also the least private money people have ever used.
strkBTC fixes that. Live on Starknet today.
🧵
Crypto is not just a ledger of transactions---it’s a ledger of truth and trust. That’s what makes Bitcoin valuable. For Bitcoin this requires burning energy on random number guessing. What if we could instead leverage massive, real-world computation to achieve the same level of security? This has been an outstanding open problem for more than 30 years in academia, and since the emergence of blockchains in industry.
Last year, we proposed the first solution (https://t.co/awRFIzchqi). Our mathematical breakthrough suggests piggy-backing on matrix multiplications, the native operation of GPUs that power the AI revolution, from pre-training, post-training, to inference. The potential applications are endless: improving the unit-economics of LLMs, shifting AI-generated wealth back to users, and enabling new primitives such as settlement and even UBI systems for AI agents.
Since then, we've worked hard turning the math into a fully operational system. From the algebra and CUDA kernels to a working L1 blockchain and a production LLM inference pipeline implementing this “2-for-1” technology. Today, we’re excited to share that the @prlnet is ready, and will soon enable serving SoTA LLMs while mining the blockchain at negligible additional cost.
Along the way, we encountered many fascinating challenges. We’re now publishing them as a collaborative Polymath challenge, spanning open questions in math, systems and economics. If you’re interested, take a look and feel free to reach out: https://t.co/zwVQdTzJWK.
#PRL
#AIMoney
1/ Bitcoin doesn’t change. But what you can do with it just did.
From the June 2024 announcement that Starknet would scale Bitcoin, to the product rollouts of March 2025, the path has been clear.
BTCFi on Starknet is where that momentum now leads 🧵
New paper with Ariel Ben-Eliezer: “Online Block Packing”. https://t.co/elLYv3ise8
Abstract: We consider the algorithmic challenge that is faced by blockchains that have multidimensional block constraints and serve quasi-patient bidders…
🚨 Blockchains meter transactions (Ethereum’s “gas”, Solana’s “compute units”), but transactions consume multiple resources: CPU, memory, bandwidth, etc. Should we meter and price them separately? Our new paper with (Nir Lavee, @noamnisan, and @maxresnick ) has answers.
1/ Bold new narrative: Scaling Bitcoin + Ethereum together
Starknet will become the first L2 to settle on both Bitcoin & Ethereum, bringing the two largest blockchain ecosystems on a single layer, unlocking new DeFi opportunities and greater liquidity.
Read our vision & plan 👇
📢 Israel AGT Day is happening on March 2 at IIAS, Hebrew University!
Students & postdocs: don't miss the chance to share your work: submit your posters and apply for a short talk.
https://t.co/frz9t1n6Kp
@noamnisan@AlonEden8
📢 Applications are now open for the Summer School in Economic Theory and Computer Science (Jerusalem, June 23-27)
General director: Eric Maskin
Organizers: Elchanan Ben-Porath, @noamnisan, @MichalFeldman9
Find out more and apply: https://t.co/VULU2IJxx4
@AcmSIGecom@econD47