zk

2024年零知识证明(ZK)研究进展整个领域正在转向更多地依赖于 Sumcheck ProtocolSumcheck是用于验证多项式承诺的协议，常用于零知识证明（ZKP）中，尤其是在可验证计算和扩展性上。它的主要目的是通过对多项式进行分段检查，从而保证某个多项式在给定输入上的正确性，而不需要直接计算出整个多项式的值。通过这种方式，可以在不透露具体计算过程的情况下，验证计算结果是否正确。

ZK-ALU-在有限域上实现左移先看在实数域上实现左移, 再看在有限域上的实现计算机中的左移计算（<< 操作）通常由处理器的硬件电路直接支持，因此效率非常高。在编程语言中，左移操作可以通过位移运算符（例如 C/C++ 中的 <<）来完成，其底层实现如下：

HBase-2.5.10 伪分布式环境搭建【Mac】搭建hbase伪分布式环境提示：以下是本篇文章正文内容，下面案例仅供参考版本：3.8.02.1 增加如下配置：

放羊的牧码

Kafka - Kafka 为啥抛弃 Zookeeper？Kafka 为什么要抛弃 ZooKeeper？取代方案是怎样的？因为确实有优化空间。Zookeeper加kafka 的架构，有三层角色：

zk集群--集群同步前面一章分析了集群下启动阶段选举过程，一旦完成选举，通过执行QuorumPeer的setPeerState将设置好选举结束后自身的状态。然后，将再次执行QuorumPeer的run的新的一轮循环，