Solidity
@solidity_lang
Solidity is an object-oriented, high-level language for implementing smart contracts. 🌐 - an @argotorg project
قد يعجبك
With the Solidity Summit around the corner, we’re releasing the next article in our series on the future of Solidity: 'Core Solidity Deep Dive'.
November's ending but we're not done shipping. We're excited to share Epoch 10: Best of the Best. 🥳🎊 This epoch is going to be our second-last epoch before we fully transition to v2. So what's this epoch about and who's part of it? Let's get into it. 10 epochs are a lot.…
And that’s a wrap on Solidity Summit! 🔥 Thanks to all our great speakers and volunteers, the @EFDevcon team for having us, and of course to our amazing audience for following along - see you next time!
And now on stage: @DaniPopes with Solar, a Solidity compiler written in Rust - including its motivation, architecture, and technical details behind it.
Joining us now: @john_kane from @NomicFoundation presenting Hardhat 3 - production-ready and packed with new features like Solidity Tests, L2 simulation, and Ecmascript Module support.
Next up, @ericmartihaynes explores how the new “layout at“ syntax and safer upgrade patterns like ERC-7201 signal the end of __gap - and the start of clearer, safer storage layouts.
Taking the stage now is @real_philogy! He’s diving into Type-Driven Development, how to apply it to smart contracts, and what language features ‚Sensei‘, an experimental language, adds to make it easier to deploy.
Kicking off the afternoon: @odysseas_eth from @phylaxsystems , explaining how the Phylax Credible Layer enables security rules that prevent hacks from being written in Solidity. He’ll cover how the rules work, how to implement them, and showcase real-world examples!
Now welcoming @YSmaragdakis! He’s breaking down why EVM decompilation is so challenging and why it’s essential for understanding deployed contracts, analyzing hacks, and large-scale code analysis.
Next up: @alexzmatterlabs from @NomicFoundation presenting solx, an LLVM-based Solidity compiler for the EVM. He’ll look at how an LLVM-based toolchain can address constraints of current solc pipelines and possible future directions.
Joining us now is @johnadtoman from @certora. He‘s exploring how equivalence checking can mathematically verify LLM code transformation while preserving precise on-chain behavior. This enables simplification of complex, highly optimized code into simpler Solidity code for easier…
Now on stage: @romanmazur from @walnut_dev, showcasing SolDB - a debugger built on the @ethdebug spec - and explaining how deeper, structured debugging becomes possible with this format.
Continuing after the break, @kaanuzdogan from @SourcifyEth! He’s mapping out the current pain points in source-code verification and how Sourcify together with the @verifalliance aim to transform the ecosystem.
United States الاتجاهات
- 1. Panthers 40.1K posts
- 2. Rams 28.1K posts
- 3. Colts 29.3K posts
- 4. Falcons 12.3K posts
- 5. Jets 36.2K posts
- 6. Browns 41.3K posts
- 7. Ole Miss 91.5K posts
- 8. #KeepPounding 7,325 posts
- 9. Texans 21.8K posts
- 10. Stafford 18K posts
- 11. Bryce Young 9,451 posts
- 12. 49ers 21.8K posts
- 13. Saints 21.6K posts
- 14. Puka 11.7K posts
- 15. Dolphins 9,451 posts
- 16. Lane Kiffin 116K posts
- 17. Nick Folk 1,072 posts
- 18. Raheem Morris N/A
- 19. Niners 3,504 posts
- 20. Stefanski 6,335 posts
قد يعجبك
-
pashov
@pashov -
@bytes032.xyz
@bytes032 -
OpenZeppelin
@OpenZeppelin -
Vyper
@vyperlang -
Code4rena
@code4rena -
Remix Project
@EthereumRemix -
🐸Smart🐸Contract🐸Programmer🐸
@ProgrammerSmart -
SHERLOCK
@sherlockdefi -
RajΞΞv
@0xRajeev -
Patrick Collins
@PatrickAlphaC -
Hardhat
@HardhatHQ -
Immunefi
@immunefi -
ETHGlobal
@ETHGlobal -
@bertcmiller ⚡️🤖
@bertcmiller -
Nomic Foundation
@NomicFoundation
Something went wrong.
Something went wrong.