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'.
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. LeBron 78.9K posts
- 2. #DWTS 53K posts
- 3. #LakeShow 3,779 posts
- 4. Whitney 15.7K posts
- 5. Peggy 18.2K posts
- 6. Reaves 8,070 posts
- 7. Keyonte George 1,853 posts
- 8. Jazz 26.9K posts
- 9. Orioles 6,922 posts
- 10. Macklin Celebrini 2,403 posts
- 11. Elaine 17.3K posts
- 12. Grayson 6,969 posts
- 13. Taylor Ward 3,507 posts
- 14. #TheFutureIsTeal 1,513 posts
- 15. Dylan 24.8K posts
- 16. Tatum 16.1K posts
- 17. #Lakers 1,587 posts
- 18. tDUSD N/A
- 19. #WWENXT 17.1K posts
- 20. Angels 31.7K posts
قد يعجبك
-
pashov
@pashovkrum -
@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.