塞托拉一家领先的区块链安全公司，负责保护数十亿美元的 DeFi TVL，已加入 Solana 基金会委托计划，并推出了它自己的验证器这标志着 Certora 在 Solana 网络中的角色显著扩展。该决定将 Certora 直接置于网络的运营层。Certora 不再局限于审计和工具开发，而是将其安全专业知识应用于持续保障交易安全和维护网络健康的工作中。

此举将 Certora 定位为一家长期、专注于安全的贡献者，其利益与委托计划的目标相一致，即加强去中心化、提高可靠性并维持高网络性能。通过运营高可靠性的验证节点，Certora 将理论上的安全原则转化为可衡量的基础设施成果。

将安全专业知识转化为网络运营

Certora 通过将形式化验证和对抗性测试应用于 Web3 领域一些最复杂的系统而建立了声誉。它与以下协议的合作：吉托,艾维,丽都,多边形,伊里斯以及其他主要生态系统都体现了在部署前预防故障而非在事件发生后被动应对的理念。运行验证器将同样的理念延伸到了实时网络运维中。

验证器运行引入的风险与智能合约开发截然不同。运维人员必须管理硬件可靠性、网络连接、软件升级和实时事件响应。Certora 以对待协议安全同样的严谨态度应对这些挑战。

“我们参与 Solana 基金会委托计划，是我们致力于提升 Web3 韧性和安全性的使命的自然延伸。我们将运用我们以安全为先的运维经验来强化 Solana 的基础设施，遵循我们通过运维服务向客户推荐的最佳实践。通过运行高可靠性的验证器，Certora 积极支持 Solana 基金会的使命，即提升 Solana 生态系统的去中心化程度、普及率和安全性。”- Certora 首席执行官 Seth Hallem

与代表团计划的目标保持一致

Solana 基金会委托计划旨在支持那些对网络技术和经济动态有深入了解的活跃贡献者和开发者。该计划的目标是最大限度地提高去中心化程度、可靠性和性能，扩大拥有不同质押来源的验证者数量，并维持一个规模庞大且具有代表性的测试网。

验证节点数量减少会增加去中心化和抗审查能力的理论风险。更少的运营节点会增强大型验证节点的影响力，并降低抵御协同故障或恶意行为的安全边际。委托计划旨在通过让具备技术能力且对网络有长期承诺的团队更容易参与并可持续地运营验证节点，来应对这些趋势。

基础设施选择与运营纪律

Certora 对 Solana 网络的深入参与建立在与 Solana 原生团队多年合作的基础上。该公司已为 Solana 提供安全服务。吉托,小队,神之野,光协议， 和体液等等。这些关系为Certora的运营规范和技术标准提供了实际验证。

Certora 已将其主网和测试网验证器部署在纬度.sh采用裸机基础设施，优先考虑性能稳定性和网络连接性。主网验证节点位于阿姆斯特丹，测试网验证节点位于芝加哥。据 Certora 安全实验室副总裁 Elad Erdheim 介绍，团队在最终部署前，针对不同地点进行了广泛的测试，以评估延迟、带宽和可靠性。

验证器堆栈体现了在硬件选择、软件配置和监控方面的精心设计。Certora 提供 24/7 全天候待命服务，以应对突发事件和网络故障。这种运营模式与公司通过其运营安全服务向客户推荐的标准相一致。

更广泛的长期承诺模式

Certora 的验证器此次发布符合Solana生态系统持续投资的整体战略。近年来，该公司通过直接的安全合作和全生态系统范围内的举措来支持开发者，包括参与旨在降低专业安全审查门槛的审计补贴计划。Certora还持续开发新的工具，例如其人工智能辅助智能合约开发平台，该平台将自动代码生成与形式化验证相结合。

通过加入 Solana 基金会委托计划并运营自己的验证节点，Certora 从咨询和工具提供方转型为直接的基础设施管理者。此举体现了 Certora 的理念：网络安全不仅取决于安全的应用程序，还取决于具有弹性且运行良好的验证节点。随着 Solana 网络规模的不断扩大，此类贡献将在增强去中心化和维护网络性能方面发挥重要作用。

验证者为何重要

验证节点对 Solana 的运行至关重要，它们负责处理交易、安全、治理和质押奖励分配。然而，该网络已经出现了……活跃验证者数量持续下降两年多来，这种趋势引发了人们对去中心化和网络韧性的担忧。随着验证者数量减少，权益集中在少数运营商手中，风险也随之增加：超级少数派阈值（定义为理论上能够阻止或审查网络的最小验证者数量）已从2023年的34个验证者降至如今的约20个，这加剧了关于长期网络安全和验证者多样性的争论。

作为回应，独立验证者已开始协调合作，以对抗合并。Layer 33 是由 25 个独立的 Solana 验证者组成的团体，最近宣布了共享、均匀分配权益池的计划旨在将大约三分之一的总权益保留给独立运营商。在一次峰值流量接近 6 Tbps 的大规模 DDoS 攻击之后，这些讨论变得更加紧迫，但也凸显了高质量验证节点在压力下的重要性。

[https://x.com/SolanaFloor/status/2000826352505905249?s=20]

索拉纳基金会执行主任在承认当前经济和参与方面仍面临挑战的同时，也指出丹·阿尔伯特驳斥了有关存在性验证者危机的说法，并表示目前的情况不会威胁到该网络的生存。

[https://x.com/SolanaFloor/status/1999872919946899901?s=20]

了解更多关于 SolanaFloor 的信息

Solana Breakpoint 2025：周六的重要公告和新闻

Solana DAT 的惊人真相！

[https://www.youtube.com/watch?v=HNtwWK1uNLQ]