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.
Now on stage: @Amxx returns to share all the features he wishes Solidity supported natively
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. Michigan 103K posts
- 2. Buckeyes 7,008 posts
- 3. Bo Jackson N/A
- 4. #GoBlue 6,993 posts
- 5. Ryan Day 3,809 posts
- 6. #TheGame 3,025 posts
- 7. Barham 1,059 posts
- 8. Florida 105K posts
- 9. Texas 185K posts
- 10. #SmallBusinessSaturday 2,831 posts
- 11. Kentucky 17.1K posts
- 12. Julian Sayin 1,182 posts
- 13. Go Bucks 2,764 posts
- 14. Gus Johnson N/A
- 15. Donaldson 1,215 posts
- 16. Leeds 32.5K posts
- 17. Foden 20.7K posts
- 18. Grade 3 3,198 posts
- 19. Big House 8,947 posts
- 20. Ann Arbor 3,345 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.