Argot Collective

412 posts

Argot Collective banner
Argot Collective

Argot Collective

@argotorg

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

Katılım Eylül 2024
7 Takip Edilen2.3K Takipçiler
Argot Collective retweetledi
sourcify.eth
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 🧵
English
1
3
11
512
Argot Collective
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

English
1
0
10
283
Argot Collective
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 👇
English
1
3
26
1.4K
Argot Collective
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 👇
English
2
4
13
2.8K
Giveth
Giveth@Giveth·
The Ethereum Security QF round is officially closed! Huge thank you to every donor, project, badgeholder, contributor, and community member who showed up to support Ethereum security over the past weeks. More soon 💜
GIF
English
18
16
119
16.6K
Argot Collective
Argot Collective@argotorg·
Thank you @rv_inc 🫡
Runtime Vеrification@rv_inc

2/3 These are some of the projects we donated to: -> Canon Guard by @Wonderland -> Zealynx Academy by @ZealynxSecurity @TheBlockChainer -> Cyfrin/Solodit Tooling and Security Research by @cyfrin @PatrickAlphaC -> Echidna: A Fast Smart Contract Fuzzer by @0x310f1sh -> HEVM by @argotorg -> SEAL 911, SEAL Intel and SEAL Frameworks by @_SEAL_Org -> Soldeer by @m4rio_eth -> Solidity Language Server by @solidity_lsp -> Act by @argotorg

English
0
1
7
336
Argot Collective
Argot Collective@argotorg·
Grateful for everyone who's contributed so far but we're not done yet. Less than 2 days left and we love a good sprint. Consider backing these three Argot projects and help us cross the finish line strong!
Argot Collective@argotorg

Three Argot projects are in @thedaofund Ethereum Security QF Round on @Giveth : • @SourcifyEth: the open source verification layer for Ethereum smart contracts • 𝗵𝗲𝘃𝗺: symbolic execution and equivalence checking for EVM bytecode • 𝗮𝗰𝘁: formal specification language & verification framework Consider donating to all three here: qf.giveth.io/qf/ethereum-se… 💛

English
0
0
7
467
Argot Collective retweetledi
Kaan
Kaan@kaanuzdogan·
Clear Signing is already here BTW! Head to the playground we've built and see ERC7730 and the Typescript SDK in action 👇
Kaan tweet media
English
2
8
53
2.2K
Argot Collective
Argot Collective@argotorg·
Blind signing was how billions get stolen. Today the Ethereum ecosystem ships the fix: an open standard, a neutral registry, and real developer tooling. Proud that @SourcifyEth is helping build the open-source libraries for the best developer experience and contributing with their 28M+ verified contracts across 180+ chains. Make clear signing the default.
sourcify.eth@SourcifyEth

x.com/i/article/2054…

English
1
2
21
1.4K
Kaan
Kaan@kaanuzdogan·
Big announcement today 👀
English
8
1
20
1.5K

Keşfet

@EthPrague @solidity_lang @_czepluch @Giveth @rv_inc @thedao @SourcifyEth @kaanuzdogan