🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

Common cryptographic library used in software at Mysten Labs.

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

👁‍🗨 Rare and exotic sats