Argot Collective

@argotorg

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

argot.org

Joined September 2024

Following

2,679

Followers

Replies Articles Media

Pinned
Argot Collective
@argotorg
Jul 1
Our bi-annual roadmap update is here. H1 2026 highlights: stack-too-deep is fixed in the SSA-CFG pipeline (under --experimental), debugging infrastructure work has ramped up significantly, and both act and Fe shipped their first releases after extensive rewrites. More detail
Argot Collective
@argotorg
16h
Who will we meet in Amsterdam? @_czepluch will talk all things @solidity_lang during Cypherpunk Week in Amsterdam in September and hopes to see many of you there! ↓
CryptoCanal - Common S3nse
@CryptoCanal
Aug 13
What's next for Solidity? @_czepluch from @solidity_lang, joins the Common S3nse stage to walk us through where the language has been and what's coming next. Privacy • Security • DeFi 📍 Amsterdam 📅 September 4-5 (during Cypherpunk Week)
Argot Collective
@argotorg
Aug 12
Formal verification is getting a lot of attention and there are many ways to approach it. Alongside the recent EquiVM release, there's other FV work happening at Argot, including act. act is a formal specification language with a range of capabilities, one of which is proving
Argot Collective
@argotorg
Aug 10
🔥 link to EquiVM in comment below ↓ 🔥
Leo Alt
@leonardoalt
Aug 10
EVM formal methods are hot right now🔥just added multiple bangers here: - equiVM by @argotorg - evm-asm by @pirapira @dhsorens - evm-sail by @TauLepton_ - {evm,yul}-semantics & verified yul-c by us @powdr_labs github.com/leonardoalt/et…
Argot Collective
@argotorg
Aug 10
Open data, better decisions. @ethlabs_org ran a preliminary analysis on how 'Quick Slots' could potentially impact already deployed contracts using @SourcifyEth's dataset to inform the proposal with real data ↓
sourcify.eth
@SourcifyEth
Aug 10
With @barnabemonnot of @ethlabs_org we ran a preliminary analysis on our open dataset of verified contracts for the "Quick Slots" proposal A very good example of what open datasets enable 20.6K of 7.7M Mainnet contracts (0.27%) were found relevant 🧵 x.com/barnabemonnot/…