Cairo
Search documents
X @Starknet (Privacy x BTCFi arc) 🥷
Starknet 🐺🐱· 2026-03-13 01:46
RT Eli Ben-Sasson | Starknet.io (@EliBenSasson)This is what privacy built right looks like:1. Enabling privacy for a wide range of assets (any ERC20 token)2. Supporting anonymous DeFi composability3. Allowing seamless UXThis is all made possible by the unique elements of Starknet's stack: ZK, native AA, and Cairo.STARK20 is making private DeFi not only possible, but also smooth! ...
X @Starknet (BTCFi arc) 🥷
Starknet 🐺🐱· 2026-02-15 07:44
RT abdel (@AbdelStark)The future of the execution engine of the Ethereum L1 is what Cairo is today.That’s it.Starknet tech is so ahead of everything else when it comes to true scaling preserving succint verifiability.Prove the world, one STARK proof at a time. https://t.co/epIHWY88Ja ...
X @Starknet (BTCFi arc) 🥷
Starknet 🐺🐱· 2026-02-08 13:37
RT Eli Ben-Sasson | Starknet.io (@EliBenSasson)People a few years ago:Is ZK really the ultimate solution to blockchain?People today:Obviously, ZK is the ultimate solution to blockchainPeople today:Is Cairo, a ZK-optimized PL and VM, the best solution for ZK chains?People in 2030:(feel free to guess what's coming) ...
X @Starknet (BTCFi arc) 🥷
Starknet 🐺🐱· 2025-12-02 12:19
RT Opus (@OpusMoney)Aegis is leveling up formal verification on @Starknet by supporting new Cairo features like [signed ints], [bounded ints], and [bytes31].Real production code is now verified with stronger automation.Check out the future of Cairo FV with @Lindy_Labs :https://t.co/7Y4wAI46xQ ...
X @Starknet (BTCFi arc) 🥷
Starknet 🐺🐱· 2025-11-19 00:25
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! ...
X @Starknet (BTCFi arc)
Starknet 🐺🐱· 2025-11-12 02:24
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 ...
X @Starknet (BTCFi arc)
Starknet 🐺🐱· 2025-10-25 17:19
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 ...
X @Bloomberg
Bloomberg· 2025-10-10 22:40
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 ...
X @Ethereum
Ethereum· 2025-10-09 18:50
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 ...
X @Starknet
Starknet 🐺🐱· 2025-09-03 09:38
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 🥽 ...