Maciek 🛰️

@HerodotusDev

[BartolomeoDiaz @bartolomeo_diaz]

Liquidity in DeFi lending is expensive. Really expensive.

Want to launch a lending protocol? You need depositors. But depositors want yield. Yield requires borrowers. Borrowers require liquidity you don't have yet. So you seed pools, emit tokens, pay for mercenary capital. Deposits leave when incentives do.

Meanwhile Aave sits on $28B in deposits. USDC alone: $2.1B at 92% utilization, 3.47% supply APR. The one-month T-bill pays 3.71%. That liquidity is massive, concentrated, and underpriced.

So don't bootstrap it. Tap into it.

[Jakub Gawlik @gawc1uuu]

You think your DeFi portfolio is highly diversified? Cute.

Look under the hood. 10 different protocols often share the exact same oracle, same bridge, and same upgradeable proxy risks. One exploit at the base layer and your "diversified" stack goes to zero.

We mapped the entire ecosystem. Click any protocol and see its exact systemic Blast Radius and hidden dependencies.

Stop flying blind. Explore the Dependency Graph live 👉 https://t.co/dL0dWrbTA1

[ΣMarcello!(-1) @0xmarcello]

Been thinking a lot lately about how vaults in DeFi need to be reinvented.
The best curated vaults today (Morpho and friends) are still running on a social contract. The curator promises to behave. That promise keeps cracking.
ZK and storage proofs has finally matured enough to fix this. 🧵

[ΣMarcello!(-1) @0xmarcello]

🧵 Last week's feedback on the @HerodotusDev RiskLayer beta was genuinely great, so we shipped a batch of features that were sitting behind the "is anyone going to use this?" gate.

Here's what's new 👇

[ΣMarcello!(-1) @0xmarcello]

We've been building ZK infra at @HerodotusDev for 4 years. storage proofs, cross-chain verification, trust-minimized everything.

the Aave exploit broke my brain a little, not because it was sophisticated because the signs were right there and nobody had a way to catch them systematically.

So we vibecoded a thing. introducing Risklayer ↓

[Herodotus 🛰 @HerodotusDev]

1/6 Since we added S-two support to Atlantic, one question has come up more than any other: “When EVM verification?”
Today we’re sharing the answer. Introducing stwo-gnark-verifier: an open-source gnark circuit for verifying S-two STARK proofs on EVM (Apache 2.0).

[Herodotus 🛰 @HerodotusDev]

1/4 🛰️Atlantic × S-two is LIVE!
Our managed ZK prover service that makes SHARP integration accessible to all developers now supports @StarkWareLtd's next-gen S-two prover.
Every developer using Atlantic to access SHARP is now able to leverage S-two in their projects! 👇

[Herodotus 🛰 @HerodotusDev]

#Devconnect is here! 🇦🇷
Building a zk-coprocessor use case? Hacking with Storage Proofs?
Or maybe you're ready to submit your first Cairo job to our Atlantic Prover Service (proven by SHARP)?
Our team will be there, and we'd love to chat about all things ZK. See you there! 👋

[Maciek 🛰️ @beeinger]

Meanwhile... @HerodotusDev's Atlantic working it's ass off to prove & verify all of that hahaha

[Apoorv Sadana @apoorvsadana]

And it's a wrap 🎉

14 hours of craziness
Near 100% uptime
Sustained ~400 TPS
3k+ agents deployed
100+ unique players

Gridy summary + a lot more with @MadaraStarknet and @Starknet coming soon. Stay tuned!

[Starknet (Privacy Arc) @Starknet]

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 👇

[Maciek 🛰️ @beeinger]

We were scared to run bigger Python 😅

But we'll run a 1 Billion Step Rust VM trace gen once we get a more powerful machine and tweak Cairo VM rust code 🫡

[Herodotus Cloud @HerodotusCloud]

Some Atlantic trace generation numbers 👀

---- Python ----
Biggest S sized job:
- 13 mln steps
- 10 min 47 sec
- 14,6 GB RAM

Biggest M sized job:
- 30 mln steps
- 24 min 50 sec
- 32,7 GB RAM

---- Rust ----
Biggest S sized job:
- 13 mln steps
- 22 sec
- 1,3 GB RAM

Biggest M sized job:
- 30 mln steps
- 57 sec
- 3,1 GB RAM

Huge sized job:
- 100 mln steps
- 2 min 39 sec
- 10,5 GB RAM

HUGE sized job:
- 250 mln steps
- 3 min 24 sec
- 26,2 GB RAM
- died on cairo vm save pie to file 💔

by @beeinger and @_fmkra ❤️

[Herodotus 🛰 @HerodotusDev]

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.

[Maciek 🛰️ @beeinger]

@blockscoutcom 12th one claimed 👀

[Herodotus 🛰 @HerodotusDev]

Most bridges are not powered by Storage Proofs. Most Bridge is 🌉👀

[Herodotus 🛰 @HerodotusDev]

https://t.co/cZI50tWv60

[Herodotus 🛰 @HerodotusDev]

Turbo has arrived on the @zksync testnet! Turbo transactions enable zkSync smart contracts to access current and historical data from other chains within the Ethereum ecosystem. https://t.co/wRPUA7QqWz

[Herodotus 🛰 @HerodotusDev]

Exciting news! 🛰️ We are thrilled to announce our partnership with @gizatechxyz, a pioneer in Zero Knowledge Machine Learning (ZKML)! Together, we're paving the way for secure and trustless AI applications on the blockchain. 🤝 #ZKML

https://t.co/ZxYfiVmftD

[Maciek 🛰️ @beeinger]

I’ll be mentoring and doing workshops about @HerodotusDev 🛰️
See you all there! 😁

[TAIKAI @taikainetwork]

🔊 @Starknet Winter Hackathon Bounties!

Winners will have a chance to win +$29,000 in prizes.

💼 @argentHQ
🔹 @avnu_fi
🔒 @myBraavos
🟢 @PragmaOracle
🟡 @Nimbora_
🏯 @ohayo_dojo
🛰 @HerodotusDev
⚔ @JediSwap
🟥 @MadaraStarknet
🟠 @gizatechxyz

Let's dive into the details!
🧵👇

[StarkWare 🥷 @StarkWareLtd]

Create an innovative and impactful project that leverages the power of @HerodotusDev API to enable cross-chain (ETH<>Starknet) / or historical data access and unlock new possibilities in the decentralized ecosystem. 🔗🔄

Use your creativity and create something epic! 💡

[ΣMarcello!(-1) @0xmarcello]

Proof recursion is a powerful tool, however it's a bit like New Year's resolutions.
Many talk about it but no one have actually done it.