智能合约平台
MINA简介
Mina是一个“轻量级”智能合约平台，致力于成为全球支付系统。解决现有区块链中存在的可扩展性问题，其中验证区块链的成本与总交易吞吐量成比例增长。在这些情况下，运行网络节点的成本最终会超过大多数现实世界用户可用的资源。
Mina的目标是设计一个去中心化的支付系统，该系统可以有效地验证从创世以来的系统历史，而无需依赖任何外部信息。这是通过以下属性实现的：
“简洁区块链”的概念。
使用可增量计算的SNARK将通用功能建模为复制状态机。
名为Mina的支付系统的具体实现。
OuroborosSamasika，一种可证明安全的PoS共识协议，具有自适应安全性并提供从创世开始的引导。
并行扫描状态以改善交易确认时间，超出证明构造所施加的限制。
执行涉及公共社区的协议的性能评估报告。
通常，随着区块链规模的扩大，验证区块链上的数据变得越来越繁重，从而导致验证者的集中化。Mina希望通过利用团队所谓的简洁区块链来避免这种限制，该区块链需要恒定的时间和数据来验证当前的世界状态（20KB/10毫秒）。
简洁的区块链是由zk-SNARKs的递归组合实现的，它使用任意增量计算的恒定大小的证明。这意味着验证链的复杂性与其大小无关，但用户可以轻松地积极参与网络。用户只需使用SNARK（简洁的非交互式知识论证）来保持当前状态，而不是保留整个链，以证明其存在。
这允许Mina每秒扩展到数千笔交易，并且需要比PoW区块链少几个数量级的资源来维护。
