Skip to content
Navigation menu
Search
Powered by Algolia
Search
Log in
Create account
DEV Community
Close
Follow
User actions
Dhruv Rastogi
404 bio not found
Joined
Joined on
Aug 16, 2025
More info about @dhruv_rastogi_984b0107f19
Post
1 post published
Comment
0 comments written
Tag
0 tags followed
I built a formal verifier for EVM contracts with no SMT solver
Dhruv Rastogi
Dhruv Rastogi
Dhruv Rastogi
Follow
Jul 1
I built a formal verifier for EVM contracts with no SMT solver
#
ai
#
blockchain
#
webdev
#
computerscience
Comments
Add Comment
5 min read
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account
