The Cairo programming language and STARK technology provide an efficient means of recording computational results on blockchain. But how can we be sure that the results mean what we think they mean? This episode is dedicated to answer this question
StarkNet’s first step on the road to Mainnet in June 2021: StarkNet Planets Alpha goes live on Ropsten, supporting smart contracts for general computation.
Scalable proof systems can have (theoretically) one set of constraints to enforce the computational integrity of any computation. This episode's discussion is all about the best way to achieve this.
The vision for StarkNet is outlined here. Published in January 2021, the post discusses the potential to scale without compromising security, to economize on gas fees, and to allow the blockchain ecosystem to grow.