Quantstamp Labs

Towards SATisfactory Web3 Software Engineering

Quantstamp Labs

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.

July 3, 2023
Read more

The Regens Building a More Sustainable Future

Quantstamp Labs

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

March 28, 2023
Read more

Rollup Escape Hatches

Quantstamp Labs

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.

October 25, 2022
Read more

Preventing Replay Attacks Post Ethereum Merge

Quantstamp Labs

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

September 12, 2022
Read more

The Dark Side of DeFi: Cross-Chain Bridge Hacks

Quantstamp Labs

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

May 11, 2022
Read more

Proper Treatment of Randomness on EVM-Compatible Networks

Quantstamp Labs

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...

February 16, 2022
Read more