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.
Diamond hands, short squeezes, bailouts—these terms became mainstream last month as the story of a grassroots Reddit community disrupting a powerful hedge fund went viral. But beyond the headlines, there's a strong and compelling case for #DeFi.
Quantstamp worked with industry leaders including Ford, BMW, and USAA in order to develop standards for the transportation infrastructure of tomorrow.
From gaming to real estate, Ethereum’s rapidly growing #NFT ecosystem is gaining some serious traction. Learn about some of the projects driving a new digital economy.
From $646 million to nearly $14B in total value locked, the DeFi space has experienced incredible growth this year. As this occurs, we are also seeing a strong uptick in interest by institutional investors.
MicroStrategy made headlines this summer as the first publicly-traded company to buy Bitcoin as part of its capital allocation strategy. Since then, other companies have followed suit. Learn how current economic conditions and the unique properties of Bitcoin have driven these decisions.
Quantstamp created and formally verified a specification for Hedera Hashgraph stablecoins. This simplifies the process of creating safe stablecoins and also makes easier for partners to safely integrate them.
Read about the projects developing Layer 2 scaling solutions that can scale Ethereum before ETH 2.0.
Apart from securing the applications that run on blockchain platforms, we also offer security services for base layer protocols. Our experience with base layer protocols includes ETH2, Avalanche, and Cardano.
2020 has been a milestone year for stablecoins. Learn more about some of the stablecoins Quantstamp has secured that are changing the future of our financial system.
