Support ZK Insights
ZK Insights | 4th Jan 2026
Support ZK Insights
ZK Insights | 4th Jan 2026
Subscribe to ZK Insights
Subscribe to ZK Insights
Share Dialog
Share Dialog
<100 subscribers
<100 subscribers
Vitalik Buterin宣布以太坊通过PeerDAS(已在主网上线)和ZK-EVM(已达到生产级性能的alpha阶段)实际解决了区块链三难困境，指出ZKEVM的主要工作集中在安全性，并规划了2026-2030年路线图，包括逐步提高gas限制、gas重定价、状态结构变更，最终让ZK-EVM成为主要的区块验证方法。
（我们希望，）2026年，隐私或许会更加产业化，更加实用，‘Threat-resistance’将会成为一种常态
ZK Whiteboard Sessions - S3M2: High-Performance Engineering for SNARKs with Jim Posen
Nethermind、L2BEAT和Etherealize联合发布的报告指出，以太坊Layer 2网络正成为机构金融的核心基础设施，通过Rollups提供可扩展性、安全性和合规性，支持大量机构部署代币化资产和支付结算系统，稳定币结算量已超过27万亿美元。 Ethereum is becoming the settlement layer. L1 provides shared truth.L2s provide execution flexibility. That separation is the institutional model.
Zama的《FHE现状报告》系列聚焦全同态加密生态发展，第二期报告重点关注硬件加速这一关键突破，分析专用硬件（ASIC）如何推动FHE实现更高吞吐量和实际应用落地，并预测到2030年FHE市场规模将超过200亿美元。
这篇论文提出了一个使用Gauss-Legendre求积法高效近似非多项式函数的通用框架，支持零知识证明验证计算正确性，通过保持恒定的低乘法电路深度(≤4)来控制误差增长，也在机器学习、DeFi和天文学等应用中实现了低误差和低开销。
这篇论文提出了完全分布式、透明且后量子安全的SNARK系统，通过改进的SPARK编译器和基于Brakedown的分布式多项式承诺方案，实现了线性时间证明者复杂度和多对数级验证成本。
这篇论文基于基于LWE的亚指数困难性假设，在公共参考字符串（CRS）模型下构建了用于 NP 问题的简洁非交互式论证（SNARG）。该方案实现了非自适应安全性，论证大小为 $O(n^0.91)$， 具有部分简洁性，和后量子安全性。
这篇论文提出了一种基于编码的数字签名方案，通过使用sum-check协议在扩域上进行代数一致性验证来避免Fiat-Shamir构造中的多次重复运算，采用多线性多项式（MLE）表示、度数加倍（degree-doubling）的二进制约束技术和线性辅助多项式，在128比特安全级别下实现了约5-8KB的签名和50-100KB的公钥。
这篇论文提出了PTX协议，使用zk-SNARK技术实现异步、非交互式的域名控制验证，通过DNS TXT记录锚定零知识证明来替代ACME协议的同步挑战-响应机制，使得域名验证无需运行活跃的Web服务器，特别适用于无服务器、静态网站和离线部署场景。
这篇论文提出了OOPS(一次性不经意多项式签名)方案，这是一种基于配对椭圆曲线多项式的签名机制，可以安全地为最多n条不同消息生成签名(超过n次签名会允许伪造)，并展示了如何基于此构建可委托签名、1-out-of-n不经意传输和部分不经意PRF等高效密码学协议。
这篇论文基于格上的LWE假设构造了CRS和证明的附加开销（additive overhead）均与论证数量无关的批量论证协议（BARG）。
If you're interested in our ZK Insights or have ideas for similar content to share, we highly encourage everyone to head over to our Github repo and submit a Pull Request. Join forces with like-minded ZKPunks to co-create!
✨ Github repo link: https://github.com/ZKPunk-Org/zk-insights
✨ Web collection version: https://insights.zkpunk.pro/
Special thanks to: Yingfei
Vitalik Buterin宣布以太坊通过PeerDAS(已在主网上线)和ZK-EVM(已达到生产级性能的alpha阶段)实际解决了区块链三难困境，指出ZKEVM的主要工作集中在安全性，并规划了2026-2030年路线图，包括逐步提高gas限制、gas重定价、状态结构变更，最终让ZK-EVM成为主要的区块验证方法。
（我们希望，）2026年，隐私或许会更加产业化，更加实用，‘Threat-resistance’将会成为一种常态
ZK Whiteboard Sessions - S3M2: High-Performance Engineering for SNARKs with Jim Posen
Nethermind、L2BEAT和Etherealize联合发布的报告指出，以太坊Layer 2网络正成为机构金融的核心基础设施，通过Rollups提供可扩展性、安全性和合规性，支持大量机构部署代币化资产和支付结算系统，稳定币结算量已超过27万亿美元。 Ethereum is becoming the settlement layer. L1 provides shared truth.L2s provide execution flexibility. That separation is the institutional model.
Zama的《FHE现状报告》系列聚焦全同态加密生态发展，第二期报告重点关注硬件加速这一关键突破，分析专用硬件（ASIC）如何推动FHE实现更高吞吐量和实际应用落地，并预测到2030年FHE市场规模将超过200亿美元。
这篇论文提出了一个使用Gauss-Legendre求积法高效近似非多项式函数的通用框架，支持零知识证明验证计算正确性，通过保持恒定的低乘法电路深度(≤4)来控制误差增长，也在机器学习、DeFi和天文学等应用中实现了低误差和低开销。
这篇论文提出了完全分布式、透明且后量子安全的SNARK系统，通过改进的SPARK编译器和基于Brakedown的分布式多项式承诺方案，实现了线性时间证明者复杂度和多对数级验证成本。
这篇论文基于基于LWE的亚指数困难性假设，在公共参考字符串（CRS）模型下构建了用于 NP 问题的简洁非交互式论证（SNARG）。该方案实现了非自适应安全性，论证大小为 $O(n^0.91)$， 具有部分简洁性，和后量子安全性。
这篇论文提出了一种基于编码的数字签名方案，通过使用sum-check协议在扩域上进行代数一致性验证来避免Fiat-Shamir构造中的多次重复运算，采用多线性多项式（MLE）表示、度数加倍（degree-doubling）的二进制约束技术和线性辅助多项式，在128比特安全级别下实现了约5-8KB的签名和50-100KB的公钥。
这篇论文提出了PTX协议，使用zk-SNARK技术实现异步、非交互式的域名控制验证，通过DNS TXT记录锚定零知识证明来替代ACME协议的同步挑战-响应机制，使得域名验证无需运行活跃的Web服务器，特别适用于无服务器、静态网站和离线部署场景。
这篇论文提出了OOPS(一次性不经意多项式签名)方案，这是一种基于配对椭圆曲线多项式的签名机制，可以安全地为最多n条不同消息生成签名(超过n次签名会允许伪造)，并展示了如何基于此构建可委托签名、1-out-of-n不经意传输和部分不经意PRF等高效密码学协议。
这篇论文基于格上的LWE假设构造了CRS和证明的附加开销（additive overhead）均与论证数量无关的批量论证协议（BARG）。
If you're interested in our ZK Insights or have ideas for similar content to share, we highly encourage everyone to head over to our Github repo and submit a Pull Request. Join forces with like-minded ZKPunks to co-create!
✨ Github repo link: https://github.com/ZKPunk-Org/zk-insights
✨ Web collection version: https://insights.zkpunk.pro/
Special thanks to: Yingfei
No activity yet