ΣMarcello!(-1)
@0xmarcello
Followers
2K
Following
6K
Media
30
Statuses
965
Dividing by 0 at @HerodotusDev
NULL
Joined December 2013
1/ S-two is live on Starknet mainnet. The fastest prover ever built now proves every Starknet block, securing all transactions with the most advanced Circle STARK technology. More speed, more privacy, more scalability, more decentralization 🧵
198
218
858
Goodbye, today marks the end of an era. Grateful for an incredible 2 years with @bobbinth, @schmiddominik1, @azeemk_, and the entire @0xMiden team - thank you ❤️ Next: going all-in on building my own company @unlink_xyz ! A thread 🧵
441
48
925
Cairo continuations already working and it looks very promising!! Soon: proving long computations with Stwo with limited memory footprint, thanks to @bartolomeo_diaz and @HerodotusDev 💪💪
69
3
140
Today @bartolomeo_diaz takes the stage at #ETHCC [8]! As part of the ZK & Cryptography track, he'll dive into the design of our ZK coprocessor, highlight some use cases, and run a live demo. If you're in Cannes, come by 👋🇫🇷 and stay tuned for the recording if you're not!
14
4
51
STWO proof recursion e2e bench🚀 . . . -> bootloader(cairo1_verifier(recursive_proof)) [37M steps] -> STWO [3 mins] -> . . .
5
2
22
In November, @arthaud_ & I went to Sark, a self sovereign island of 500 people to convince the government to let us write their corporate law. Here's how it went:
4
1
53
Provable compliance zk-coprocessor module🛰️ Tracking addresses engaging with prohibited entities, growing an on-chain blacklist lookup table.📖
2
2
23
Atlantic is now live on Mainnet 🛰️🌊 Thank you to all who have been giving feedback and suggesting ways we can improve the developer experience!
Back to serious stuff. We just launched Mainnet Atlantic! 🛰️ You can use it by selecting MAINNET as the preferred network! 🎉 By doing this: - Proof Generation will go to Mainnet Sharp - L1 Verification will happen on Mainnet Ethereum - L2 Verification will happen on Mainnet
1
3
24
Well I can now say that I work at Bitcoin to my mom. because STARKNET IS SCALING ETHEREUM AND BITCOIN TOGETHER !
8
15
86
Are you orange pilled yet?
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 👇
20
0
23
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 👇
558
841
2K
That was quick
Yesterday I asked @JoshCStein to properly explain Celestia DA to me. Today, I am casually posting Katana blocks to @celestia using @cartridge_gg Saya and @HerodotusDev atlantic. Special shout out to @glihm_, couldn't have put this all together without his support
0
0
2
Your agents can now Generate and Verify STARK proofs thanks to @HerodotusDev’s Atlantic Gateway. Try it now! ✨
github.com
Overview This PR adds the Atlantic API for proof generation and verification. Features Atlantic API Integration Added two new core services: getProofService: Generates proofs from uploaded ZIP file...
Introducing Atlantic: The Gateway to SHARP 🌊 We're thrilled to announce Atlantic, a managed prover service that makes StarkWare’s SHARP accessible to every Cairo developer. Simple, reliable proving infrastructure for all your Cairo programs.
1
9
26
Introducing Atlantic: The Gateway to SHARP 🌊 We're thrilled to announce Atlantic, a managed prover service that makes StarkWare’s SHARP accessible to every Cairo developer. Simple, reliable proving infrastructure for all your Cairo programs.
8
45
131
StarkGate solvency check using modular framework of @HerodotusDev co-processor. Comparing balance of L1 bridge and L2 token supply performed in single circuit of Cairo ZKVM.
1
3
23
STWO web STARK - @CairoLang program trace generation - proving - verifying, all in browser using @StarkWareLtd stwo cairo adaptation.
11
27
105
How can developers set specific criteria for accounts interacting with their smart contracts? 👀 "Code is law," but it should be granular. Sentinels can enforce transaction-level criteria using on/off-chain data, ensuring verifiability with zk-coprocessors like the one we're
0
1
45
Always glad to bring some integrity
Introducing WISP: A ZK-powered verifiable agent taking on the first real-world use case for verifiable computation. With @ixoworld, we're building infrastructure that brings trust and efficiency to climate finance verification 🌐 https://t.co/yY9RVB3FIT
1
0
9