Argot Collective

Non-profit, independent collective building and maintaining the core infrastructure for Ethereum applications.

[christoph.burgdorf.eth 🌍🇪🇺 @cburgdorf]

Solady's LibMap/LibBitMap is beautifully hand-tuned assembly. It also shouldn't have to exist.
Every line works around one missing Solidity feature: const generics. In Fe the same thing is ~60 lines, no assembly, same gas. 🧵

[Argot Collective @argotorg]

https://t.co/JXpZye66kM - thanks to
@CommonPrefix for hosting!

[Argot Collective @argotorg]

"Just formally verify everything!" Easier said than done.

Zoe from the act team explains what's been holding back broader FV adoption and how she sees this changing with AI.

Full conversation in the link below

[sourcify.eth @SourcifyEth]

The community showed up for @SourcifyEth 🙏

94 individual contributions pushed us all the way up to #14 of this incredible round. Proof that every contribution counts.

Huge thanks to @giveth and @thedaofund for hosting and to everyone who supported us. Humbled by it all. Now back to work 🫡

[Argot Collective @argotorg]

If you want to dive deeper this is a good start: https://t.co/k2fxUR6wwk

[sourcify.eth @SourcifyEth]

https://t.co/ptwX453PRD

[Argot Collective @argotorg]

Most people know @SourcifyEth for source code verification. But the team has been an open source steward well beyond that.

They helped launch @verifalliance to give us open, unified access to EVM contract source code across chains. Now as part of the Clear Signing working group, they are going after blind signing, one of crypto's longest-standing UX failures.

In Cannes earlier this year, @kaanuzdogan joined the panel at @WalletConnect to share what the group has been building. Here's the TL;DR 👇

[Argot Collective @argotorg]

The results are in and we couldn't be more grateful 🙏

Three Argot Collective projects were selected for this round, all working to make Ethereum more secure: act, hevm, and @SourcifyEth.

Extra excited that Sourcify made it into the top 30!

Thank you to every single contributor and to @thedaofund & @Giveth for hosting such an incredible round!

[Giveth @Giveth]

🛡️ The results for the @thedaofund’s Ethereum Security QF Round are LIVE!

This historic round is closing with a HUGE last minute contribution:

@wintermute_t has added $200K to the matching pool 🔥

Wintermute is a well known liquidity provider, and one of the leading supporters of Ethereum security, in fact exactly a year ago today they donated $1M to @_SEAL_Org.

This year they teamed up with TheDAO, @Quantstamp & several other community partners to allocate over $1.6M worth of funding to Ethereum Security Public Goods 👇

[Argot Collective @argotorg]

https://t.co/KwjrvUtnln

[Argot Collective @argotorg]

Louder for everyone in the back: if your chain's data lives on a single database, its history can vanish!

At @EthPrague earlier this month Manuel from @SourcifyEth showed how to prevent exactly that. Go watch the talk 👇

[Argot Collective @argotorg]

Thanks for having us today @nordicblock!

We'll be around all day so come find us if you want to talk @solidity_lang!

[Argot Collective @argotorg]

Calling all Nordic Solidity devs: Jacob wants to chat.

If you're in Stockholm tomorrow, catch his panel at NBC26 or hit him up for joint fika ☕

[jacob @_czepluch]

If you're at the NBC26 @nordicblock conference tomorrow and feel a bit jaded listening to all the people in suits, you should join my panel at 10:40, stage 2.

I promise it will be spicy! 🌶️

[Argot Collective @argotorg]

Fe has been turning heads recently.

Check out this example showcasing what it can do 👇

[Fe Language @official_fe]

Every smart contract dev knows them: the 32-byte magic numbers at the top of files. Storage slots. Type hashes. Selectors. Fancy math. Returned as constants from build scripts, or copy-pasted from somewhere.

Taking @Uniswap 's tick math as an example.

Fe has a different answer 🧵

[sourcify.eth @SourcifyEth]

New EVM chains are born and die every day.

Sourcify was already supporting 180+ of them.

With today's new Sourcify release it's 250+

We rebuilt how we manage that list so keeping up takes less manual work, not more.

How chain support works now 🧵

[Argot Collective @argotorg]

Have been wanting to talk to the Fe team? Drop in today‘s office hours 👇

[Fe Language @official_fe]

Got any burning questions about Fe? 🔥

Come to our office hours today at 12PM EDT / 6PM CEST!

In order to join follow below 👇

[Argot Collective @argotorg]

Can you trust your smart contracts 100%?
And what does formal verification have to do with it?

Zoe joined the Honest Majority podcast to unpack what FV actually is, why everyone's talking about it, and what the release of act v0.2.0 means for EVM smart contract security ↓

[Common Prefix @CommonPrefix]

Episode 10 of Honest Majority is live 🎙️
"Can You Trust Your Smart Contracts 100%?”

@dionyziz sits down with Zoe Paraskevopoulou, Assistant Professor at NTUA, to discuss the importance of formal verification and the release of Act v0.2.0 a formal specification and verification framework for EVM smart contracts. 1/4

[Argot Collective @argotorg]

https://t.co/CnqIWEnuiD

[Argot Collective @argotorg]

You still don't know what formal verification is and at this point you're too afraid to ask?

Anja has got you covered. At @EthPrague she gave a workshop explaining what FV is and how she and the rest of the act team approach it.

Full talk in the link below 👇

[Argot Collective @argotorg]

What's next for the Solidity language?

Full talk here: https://t.co/9r6pBSbV1Z

[Argot Collective @argotorg]

The @solidity_lang team is listening.

At @EthPrague, @_czepluch shared how developer survey feedback is driving what's next: fixing the biggest pain points and shaping the Core Solidity roadmap.

Find the full talk in the link below 👇

[Argot Collective @argotorg]

@Giveth 🙏