Something that I love about StarkWare/net: We aim high and we innovate to get there.
Here is a journey of trailblazing innovative tech since 2018:
- Stone: StarkWare's first ZK prover, based on ZK-STARKs
- Cairo: a ZK-friendly smart contract programming language, optimized for ZK
- SHARP (Shared prover): combining batches of transactions from multiple sources into one proof
- Recursive proving: gathering multiple proofs, then proving them in a single proof
- Circle STARKs (collaboration with Polygon): using STARKs over a small field
- S-two: StarkWare’s next-gen ZK engine, massive scaling improvement, allowing client-side proving
Each step here isn't just about improving the tech, it's about breaking barriers, paving new paths, building new capabilities.
I think the right definition to this approach is "redefining blockchain".
So, what's next?