THOUGHTS ON POLYGON MIDEN

Summary from the TLDR Crypto newsletter

Miden uses the actor model design, a form of concurrent computation, to introduce local state change management and faster transaction processing. Zero knowledge proofs validate locally-executed transactions, meaning that transactions can be private. Miden's goal is to support privacy-oriented use cases as a ZK L2 with smart contracts programmed in TypeScript and Rust.