Clarity

Bitcoin has proven itself as a store of value protocol. Stacks is on a mission to prove that Bitcoin can also be the bedrock of the user owned internet. Stacks brings scalable transactions and expressive smart contracts to Bitcoin, putting Bitcoin’s $1T capital to work. .BTC domains are registered through a smart contract on Stacks, secured by Bitcoin. This smart contract implements a decentralized name registry written in Clarity lang. Ownership of every .BTC name is represented in a hash of the Bitcoin blockchain. Instead of spamming the bitcoin blockchain with name registrations, thousands of Stacks transactions settle in a single transaction on the bitcoin blockchain. The web bridge turns btc.us into the top level domain and allows users to generate subdomains for their personal use. The web bridge is a centralized service, but .BTC names are not. In the future, there can be better support for .btc resolution in browsers.

Vyper is a contract-oriented, pythonic programming language that targets the Ethereum Virtual Machine (EVM). Security: It should be possible and natural to build secure smart-contracts in Vyper. Language and compiler simplicity: The language and the compiler implementation should strive to be simple. Auditability: Vyper code should be maximally human-readable. Furthermore, it should be maximally difficult to write misleading code. Simplicity for the reader is more important than simplicity for the writer, and simplicity for readers with low prior experience with Vyper (and low prior experience with programming in general) is particularly important.