Mir是基于零知识证明的去中心化应用平台，允许开发者构建可扩展的和隐私的去中心化应用。
Mir可以在不牺牲安全，可用性和去中心化的情况下，提供隐私，并大幅缩减（少1000倍）验证者的状态。
Mir是一种新型的区块链平台。BTC作为数字黄金，Ethereum是金融系统的平台，Mir将构建隐私的金融基础设施，包括隐私的稳定币和交易所，当然可以构建非金融类的应用。
Mir可扩展性
Mir采用零知识证明简化交易执行，可不牺牲去中心化，安全和可用性的基础上提升吞吐量。
Mir中验证者无需关注应用层逻辑，使验证者状态缩减上千倍，大幅降低交易大小，减少交易执行的代价。
递归证明允许复杂的交易只通过一个验证者验证。
简化交易执行
在Mir中，所有的逻辑在链下执行，对于验证者来说，没有token, 应用逻辑和存储状态的概念，甚至没有一个标准的数字签名。交易可以创建和消耗记录，由证明进行验证。
对于开发者来说，可以执行任意代码在链下执行计算，不需要关注gas。
Mir执行环境支持以太坊上的各类应用，无需关注复杂的验证计算。Mir上的交易主要执行两种操作：添加记录和删除记录。
Mir不需要存储每个应用的状态，对于每个记录有1个bit, 可进一步压缩为 每个有效记录5个bits(Liveness mask), 交易对Liveness Mask的状态修改如下：
