
Towards SATisfactory Web3 Software Engineering
In web3, traditional methods of bug detection and code verification fall short. Learn how lightweight formal methods can offer a practical approach to identifying and fixing bugs in dApp code.

In web3, traditional methods of bug detection and code verification fall short. Learn how lightweight formal methods can offer a practical approach to identifying and fixing bugs in dApp code.

From infrastructure to gamification, meet some of the movers and shakers of ReFi that are making things happen behind the scenes.

After years of effort, rollups are becoming mainstream components of the Ethereum ecosystem. An escape hatch is a method to recover digital assets or program state from a rollup when sequencers or validators are offline, a critical security feature if something goes wrong, and crucial given the complexity of these systems.

Learn more about replay attacks and how users interacting with both PoW and PoS chains can stay safe following the merge.

Cross-chain bridge hacks and some of the attack vectors that make bridges especially vulnerable.

Solidity does not have a function for generating random numbers, yet Ethereum dapp developers sometimes desire random numbers in order to develop lotteries, NFT drops, and games where randomness influences the outcomes...

After a record-setting NFT-collateralized loan was obtained earlier this year, various other protocols have emerged. Learn how the financialization of NFTs is unlocking endless use cases for these previously illiquid assets.

Learn how major companies are getting involved in the blockchain space.

Scaling is crucial for Ethereum to reach its full potential. With $5B TVL in the Layer 2 landscape, meet some of the scaling solutions leading the way.

Indexes are an essential component of any advanced market, allowing exposure to an entire sector by investing in a single asset. In DeFi, they are not only efficient but affordable and permissionless as well.