Certora 是一家领先的区块链安全公司，为 DeFi TVL 提供数十亿美元的安全保障，该公司已加入 Solana 基金会代表团计划，并推出了自己的验证器，这标志着其在 Solana 网络中的作用得到了显著扩展。这一决定使 Certora 直接进入了网络的运营层。Certora 现在不再局限于审核和工具，而是将其安全专业知识应用于确保交易安全和维护网络健康的持续工作中。
此举将 Certora 定位为以安全为重点的长期贡献者，其利益与授权计划的目标一致，即加强分散性、提高可靠性和维持高网络性能。通过运营高保证验证器，Certora 将理论上的安全原则转化为可衡量的基础设施成果。
将安全专业知识转化为网络运营
Certora 在Jito、Aave、Lido、Polygon、Irys 等协议和其他主要生态系统方面的工作反映了我们的工作重点是在部署前预防故障，而不是在事故发生后作出反应。验证器的运行将这一理念延伸到了实时网络运行中。
验证器运行带来的风险与智能合约开发不同。运营商必须管理硬件可靠性、网络连接、软件升级和实时事件响应。Certora 在应对这些挑战时采用了与协议安全相同的严谨态度。
"我们参与 Solana 基金会授权计划是我们为 Web3 带来弹性和安全性的使命的合理延伸。 我们正在部署我们安全第一的运营专长，以加强 Solana 的基础设施，并遵循我们通过 opsec 服务向客户推荐的最佳实践。通过运行高保障验证器，Certora 正在积极支持 Solana 基金会改善 Solana 生态系统的去中心化、采用和安全性的使命。- Certora 首席执行官 Seth Hallem
与授权计划的目标保持一致
Solana 基金会授权计划支持对网络技术和经济动态有深入了解的活跃贡献者和开发者。该计划旨在最大限度地提高分散性、可靠性和性能，扩大拥有不同利益来源的验证者数量，并维持一个具有代表性的大型测试网络。
较少的验证者数量会在理论上增加分散化和抵制审查的风险。较少的操作员会增加大型验证者的影响力，并降低针对协调失败或恶意行为的安全系数。授权计划旨在通过让技术能力强、对网络有长期承诺的团队更方便、更可持续地操作验证器来应对这些趋势。
基础设施选择和操作纪律
Certora 对 Solana 网络的深入参与建立在与 Solana 原生团队多年合作的基础之上。该公司已为Jito、Squads、Kamino、Light Protocol 和Fluid 等公司提供安全服务。这些合作关系为 Certora 的运营规范和技术标准提供了实际验证。
Certora 在Latitude.sh裸金属基础设施上部署了主网和测试网验证器，优先考虑性能一致性和网络连接。主网验证器在阿姆斯特丹运行，测试网验证器在芝加哥运行。根据 Certora 安全实验室副总裁 Elad Erdheim 的说法，在最终确定这些部署之前，团队在各地进行了广泛的测试，以评估延迟、带宽和可靠性。
验证器堆栈反映了在硬件选择、软件配置和监控方面的深思熟虑。Certora 提供全天候待命服务，以处理发生的事故和网络事件。这种运营态势反映了公司通过运营安全服务向客户推荐的标准。
更广泛的长期承诺模式
Certora推出的验证器符合对 Solana 生态系统持续投资的更广泛模式。近年来，该公司通过直接的安全服务和全生态系统计划为建设者提供支持，包括参与旨在降低专业安全审查门槛的审计补贴计划。Certora 还不断开发新的工具，例如其人工智能辅助智能合约开发平台，该平台将自动代码生成与形式验证相结合。
通过加入 Solana 基金会授权计划并运营自己的验证器，Certora 从咨询和工具角色转变为直接的基础设施管理者。这一举措反映了一种观点，即网络安全不仅取决于安全的应用程序，还取决于弹性十足、运行良好的验证器。随着时间的推移，随着 Solana 网络规模的不断扩大，这种贡献可能会在加强分散性和保持性能方面发挥重要作用。
验证器为何重要
验证器对于 Solana 的运营至关重要，它们负责交易处理、安全、管理和定级奖励分配。然而，两年多来，该网络的 活跃验证者数量持续下降，引发了对分散性和弹性的担忧。随着验证者数量的减少，赌注集中在更少的运营商手中，风险也随之增加：超少数阈值（定义为理论上可以阻止或审查网络的最小验证者数量）已从 2023 年的 34 个验证者下降到现在的 20 个左右，这加剧了关于长期网络安全和验证者多样性的争论。
作为回应，独立验证者已开始进行协调，以对抗整合。由 25 家独立的 Solana 验证者组成的 33 层 最近宣布了一项计划，即建立一个共享的、均匀分布的股份池，旨在将总股份的大约三分之一保留在独立运营商手中。在一次大规模的 DDoS 攻击后，这些讨论变得更加紧迫，这次攻击的峰值接近 6 Tbps，但没有造成实质性的网络中断，这突出了高质量验证者在压力下的重要性。
索拉纳基金会执行主任丹-艾伯特（Dan Albert）承认目前面临着经济和参与方面的挑战，但他拒绝接受关于验证机存在危机的说法，并表示目前的状况不会威胁到网络的生存。
在 SolanaFloor 上阅读更多内容
关于索拉纳大数据的惊人真相！
