StarkWare Explores STARK Verifiers Built in Simplicity
StarkWare explores building STARK verifiers in Simplicity, combining analyzable Bitcoin-native programs with ZK proofs to verify off-chain computation on-chain.
starkware.co/blog
🔗
Building STARKs in Simplicity
Simplicity is a new kind of programming language designed specifically for Bitcoin. It’s being developed by Blockstream, and its goal is to be safer and more expressive than the Bitcoin Script we use today.
It’s designed to be minimal but powerful, built from the ground up with math in mind. The core idea? You get a super-small set of building blocks (only 9 core operations!) — but with them, you can construct some pretty complex programs.