RT A₿del ∞/21M 🥷 (@AbdelStark)This is absolutely mind blowing.Moon math magic to solve real problems in the real world.@CashuBTC UX for perfect private payments is unmatched.Here we leveraged the power of STARKs / STWO / Cairo to extend programmability of Cashu by allowing arbitrary ecash spending conditions without revealing the script to the mint.Starknet tech is gud for scaling, but also for privacy!Freedom tech is good! ...

RT Ohad Barta (@OhadBarta)Today, when talking with a really-smart-and-amazing ecosystem player, I realized that SHARP architecutre suffers from gap of understanding. Not as mathematically sofisticated as the prover itself. Not as user facing as Starknet. Still, SHARP is the amazing and complicated beast that invokes the prover, get proofs, aggregates them, and make Starknet the most efficient on-chain rollup.So it deserves a deep dive. I'll start by answering the question of: "what happens when a Starknet b ...

RT brother eni 🍞 (@eniwhere_)previous benchmarks we made- Cairo -> 8.65s for 2048bits- Cairo M -> 2.22s for 2048bits (best score among all zkVMs)which means this is 21,000x faster than in pure Cairo, 5,550x faster than in Cairo M, https://t.co/asTQy9HV6j ...

President Donald Trump announced his plans to travel to Cairo and Jerusalem to herald an agreement that has halted the fighting in Gaza and set the stage for Hamas to release hostages https://t.co/G37VdZaARl ...

RT StarkWare (BTCFi arc) (@StarkWareLtd)Over 2 million ZK proofs generated on 5,000+ phones and tablets using Cairo M.Median proving time: ~6s.Client-side proving powered by S-Two is real. https://t.co/EY0MYtgZJk ...

RT brother eni 🍞 (@eniwhere_)You’re writing more Cairo than you should.If you code in Cairo, chances are you’ve used println! and array! - but did you know you could now implement your own macros?Let's take a dive and learn how to write our own macros, taking your @Starknet dev skills to the roof 🥽 ...

Technology & Innovation - StarkWare 联合创始人 Eli Ben Sasson 将零知识证明从理论带入实践，于 2018 年共同发明了 zkSTARKs [1] - zkSTARKs 具有透明、量子安全、无需可信设置和 polylog 验证等特性 [2] - Stwo prover 预计 2025 年 5 月发布，在哈希密集型电路上的成本降低 900 倍，已用于证明区块、AI 和比特币签名演示 [2] - Cairo 是第一个图灵完备的零知识原生语言，开源并被外部团队重复使用 [3] Ecosystem & Community - Starknet 主网自 2021 年起上线，具有原生账户抽象、paymasters、去中心化排序器和 0.14 版本的费用市场，每月有数千名活跃开发者 [2] - Starknet 基金会为前沿技术提供资金支持 [1] - StarkWare 公司估值 80 亿美元，社区得到 Paradigm、Vitalik 和各大 zk podcast 的认可 [2] Performance & Adoption - Starkware 已经处理了超过 30 亿个 proofs，超过任何其他堆栈，相同的验证器代码运行在 Ethereum、比特币签名和移动设备上 [2] - StarkEx & Sharp System 交易额达 1 万亿美元，超过 10 亿笔交易，gas 费用接近于零 [3]