Formal Verification for Move: Using Certora SUI prover📚 Series Overview This series is designed for Move developers who want to go beyond testing to mathematically prove their contracts are secure. Whether you're building on Sui or Aptos, these techniques will help you catch bugs that testing can never...Jan 18 · 4 min readkilluaxyz.hashnode.dev
Proof of Liquidity vs Proof of StakeBlockchain consensus mechanisms continue to evolve, pushing beyond traditional Proof of Stake (PoS) models. Berachain introduces a novel approach with its Proof of Liquidity (PoL) protocol, which not only secures the network but also integrates deepl...Mar 13, 2025 · 9 min readkilluaxyz.hashnode.dev
Part 2: The ERC-6492 – Exploiting Counterfactual Signature VerificationIn Part 1, we explored the benefits and functionality of ERC-6492, a standard that enables signature verification for undeployed smart contract accounts. While ERC-6492 is a powerful tool for improving user experience and reducing gas costs, it also ...Jan 14, 2025 · 4 min readkilluaxyz.hashnode.dev
ERC-6492: What You Need to Know About Future Smart Contract Wallets (Part 1)Introduction In the world of Ethereum and smart contracts, account abstraction and smart contract wallets are revolutionizing how users interact with the blockchain. One of the key innovations in this space is ERC-6492, a standard that extends the fu...Jan 14, 2025 · 5 min readkilluaxyz.hashnode.dev
EigenLayerRedefining Ethereum’s Trust Layer and Unlocking a New Era of Smart Contract Innovation In the ever-evolving landscape of Ethereum, innovation is not just about building new applications—it’s about reimagining the foundational layers that enable these...Jan 1, 2025 · 8 min readkilluaxyz.hashnode.dev
