Anza: Solana core protocol to remove floating-point operations layer by layer to avoid consensus divergence risks
- Anza, the core client development team for Solana, is gradually removing floating-point operations from the Solana core protocol.
- The first layer, SIMD-0391, has been activated in epoch 1026 on mainnet Beta, replacing floating-point operations with fixed-point operations.
- The second layer, SIMD-0607, has been proposed and is under review, targeting the runtime to remove floating-point operations from inflation reward and rent calculations.
- Floating-point operations can lead to different rounding results across various hardware and software, which may cause consensus divergence and network liveness risks.
- The improvements aim to standardize fixed-point operations to eliminate these risks.
On September 1, PANews reported that Anza, the core client development team for Solana, is in the process of removing floating-point operations from the Solana core protocol. This initiative is being implemented layer by layer to mitigate risks associated with consensus divergence.
The first layer, known as SIMD-0391, has already been activated in epoch 1026 on the mainnet Beta. This layer replaces floating-point operations in the warmup and cooldown logic of the Stake Program and validator clients with fixed-point operations.
A second layer, SIMD-0607, has been proposed and is currently under review. This layer aims to target the runtime itself, specifically focusing on removing floating-point operations from the inflation reward and rent calculation paths.
Anza highlighted that floating-point operations can yield different rounding results on different hardware, validator clients, and compilers, which may lead to potential consensus divergence and risks to network liveness. By standardizing fixed-point operations, these improvements aim to eliminate such risks and will continue to address floating-point operations in other areas in the future.
Anza: Solana核心协议将逐层移除浮点运算以避免共识分歧风险
9月1日，PANews报道，Anza是Solana的核心客户端开发团队，正在逐步移除Solana核心协议中的浮点运算。这项工作分层进行，以降低与共识分歧相关的风险。
第一层，即SIMD-0391，已在主网Beta的第1026个纪元激活。该层将Stake Program和验证者客户端的预热和冷却逻辑中的浮点运算替换为定点运算。
第二层SIMD-0607已被提议并正在审查中，旨在针对运行时，特别是移除通货膨胀奖励和租赁计算路径中的浮点运算。
Anza指出，浮点运算可能在不同硬件、验证者客户端和编译器上产生不同的舍入结果，这可能导致共识分歧和网络活跃性风险。通过标准化定点运算，这些改进旨在消除这些风险，并将在未来继续解决其他路径中的浮点运算问题。