Loading...

NtaTrust使用五种核心技术对性能和功能属性（包括正确性和安全性）对区块链生态系统进行证伪和证真。这五个核心技术包括动态分析，模糊测试，符号执行，模型检测和静态分析。这些技术具有协同和互补的优势。

动态分析和模糊测试能够准确高效的挖掘错误。NtaTrust的动态分析可以在特定输入下正常的程序执行行为中预测出错误，而模糊测试可以自动产生大概率会导致程序出错的输入以监控更多程序行为。符号执行是较低效但是更全面的证伪技术，用于系统性排查程序路径并发现一般测试难以发现的错误。另一方面，静态分析和模型检测侧重于分析区块链生态系统行为的超集。静态分析可以高效判断程序是否有疑似错误的代码，而模型检测能够准确证明程序模型属性的正确性。

因此，在NtaTrust内部，静态分析和模型检测适用于验证属性，而模糊测试，动态分析和符号执行则适用于挖掘程序错误。有关其他信息，请参阅我们的单页说明和白皮书。

随着对传统领域的快速渗透和在全新领域的扩展，区块链已经成为一种转变现代社会信任和价值流动的技术。然而，不可否认的是，区块链技术仍处于早期阶段。虽然有的区块链项目是建立在精心设计的算法和严谨的开发之上，但也有些项目为了尽快占有一席之地，甚至只是为了快速融资而仓促编写。因此，对区块链项目进行无偏见的研究和评级是非常重要和必要的。
NtaRank根据以下两个原则评估区块链项目。首先，只考虑软件质量。有许多主观因素可能影响项目，例如团队成员的声誉。但是，最终决定区块链项目可信度的是软件质量。 NtaRank使用多种技术检查评价源代码。其次，仅使用自动化技术。虽然专家评审可能提供有价值的判断，但主观意见很难在所有项目中保持一致，从而引入偏见。 NtaRank使用统一应用于所有项目的算法进行评估。