每一跳都是一个幂等的纯函数:给定输入密文 + 编译好的驱动 + 同一把私钥,输出唯一。这就是”接力”在工程上能成立的全部理由——
下一棒不需要知道上一棒是谁,也不需要信任他。
【FHE】(十一):密文链协议——两条不变式,和 112 与 2100 的分工
未经允许不得转载:小狮博客 » 【FHE】(十一):密文链协议——两条不变式,和 112 与 2100 的分工
每一跳都是一个幂等的纯函数:给定输入密文 + 编译好的驱动 + 同一把私钥,输出唯一。这就是”接力”在工程上能成立的全部理由——
下一棒不需要知道上一棒是谁,也不需要信任他。