Quantstamp Blog

News and Developments from Quantstamp

Meet the Authors: Ed Zulkoski

Ed holds a Ph.D in Computer Science from the University of Waterloo. His research there was primarily in SAT/SMT solvers and formal verification technologies, with a focus on understanding what makes SAT formulas hard or easy for solvers. Before joining Quantstamp, he worked at Microsoft Research.

Quantstamp Announcements
May 30, 2019

What is a Smart Contract Audit?

Blockchain technology is promising to revolutionize entire industries, but hacks and exploits of popular blockchain applications threaten to undermine it before it even takes off. Isn’t blockchain supposed to be secure? It’s not that simple.

Quantstamp Labs
May 30, 2019

Meet the Authors: Kacper Bąk

Kacper holds a Ph.D. in Computer Science from the University of Waterloo for his work on modeling and analysis of software product lines. Before coming to Quantstamp, he worked at MathWorks (maker of MATLAB), Opera, and Samsung.

Quantstamp Announcements
May 23, 2019

Quantstamp Audits Polkadot’s First Smart Contract Platform: Edgeware

Quantstamp recently audited Edgeware, the first smart contract platform which plans to integrate with Polkadot, a blockchain interoperability platform. Built as a parachain of Polkadot, Edgeware is a WebAssembly (Wasm) runtime, high-performance, self-upgrading smart contract platform with on-chain governance. As an infrastructure project, Edgeware aims to address many of the shortcomings facing blockchain technology, including governance hurdles, developer accessibility, and token distribution challenges.

Quantstamp Announcements
May 28, 2019

Meet the Authors: Jan Gorzny

Jan is a Ph.D candidate at the University of Waterloo. His research interests include complexity theory, software verification and formal methods, discrete mathematics, and blockchain technologies. At Quantstamp, his role is to keep up with emerging technologies, assist in protocol design, and develop ideas with the engineering team.

Quantstamp Announcements
May 24, 2019

Meet the Authors: Olga Mack

Olga V. Mack is a strategist, nationally-recognized author, public speaker, and women’s advocate. As VP of Strategy at Quantstamp, her role is focused on moving the company towards its mission to achieve broader adoption of blockchain technology through smart contract security.

Quantstamp Announcements
May 24, 2019