BlockChain

339 bookmarks
Newest
Guide To Formal Verification | Take Security To The Next Level
Guide To Formal Verification | Take Security To The Next Level
Are you a security researcher looking to join a world-class team? Apply to open positions at Guardian here: https://guardianaudits.com Interested in getting hands-on training to become an expert security researcher in a matter of months? Get the guide to becoming a senior auditor in 6 months here: https://www.intogateway.com/guide Looking for a Smart Contract Audit? Apply to work with the Guardian team on our website: https://guardianaudits.com Join our community aimed at building and sharing a wealth of blockchain and solidity knowledge to help developers/auditors of all levels transform the web3 ecosystem: https://lab.guardianaudits.com/ If you're still not 100% confident in your web3 auditing skills, I collaborated with several other top security professionals in the space to bring you the most comprehensive & effective web3 security course ever! You can take $50 off using my link here: https://smartcontractshacking.com/?referral=owen 00:00 - Intro 02:25 - The Boolean formula 04:11 - How this translates to a smart contract 06:14 - The SMT checker 09:51 - What to do to make this invariant hold 13:22 - Other flags that can be used 17:17 - Get a free quote 18:12 - Join the Solidity lab
Security
·youtube.com·
Guide To Formal Verification | Take Security To The Next Level
The Notorious Bug Digest #3
The Notorious Bug Digest #3
Welcome to The Notorious Bug Digest #3—a curated compilation of insights into recent Web3 bugs and security incidents.
hooks
Security
·blog.openzeppelin.com·
The Notorious Bug Digest #3
Hickup’s ZK Journey
Hickup’s ZK Journey
A new tool that blends your everyday work apps into one. It's the all-in-one workspace for you and your team
Security
·sunrise-clerk-234.notion.site·
Hickup’s ZK Journey
33Audits on X: "If you're a Smart Contract Auditor, then you're probably aware of the $2.35 Million dollar contest that @Uniswap @UniswapFND is having on @cantinaxyz next week. However, not many people are sharing how to prepare for the audit. If you're planning on joining the audit next" / X
33Audits on X: "If you're a Smart Contract Auditor, then you're probably aware of the $2.35 Million dollar contest that @Uniswap @UniswapFND is having on @cantinaxyz next week. However, not many people are sharing how to prepare for the audit. If you're planning on joining the audit next" / X
However, not many people are sharing how to prepare for the audit. If you're planning on joining the audit next… — 33Audits (@solidityauditor)
Security
·x.com·
33Audits on X: "If you're a Smart Contract Auditor, then you're probably aware of the $2.35 Million dollar contest that @Uniswap @UniswapFND is having on @cantinaxyz next week. However, not many people are sharing how to prepare for the audit. If you're planning on joining the audit next" / X
ZeroEkkusu/solx: Solidity × Any-Language Transpiler for Foundry.
ZeroEkkusu/solx: Solidity × Any-Language Transpiler for Foundry.
Solidity × Any-Language Transpiler for Foundry. Contribute to ZeroEkkusu/solx development by creating an account on GitHub.
Write Solidity AND any other programming language at the same time!
Tools
·github.com·
ZeroEkkusu/solx: Solidity × Any-Language Transpiler for Foundry.