如果你重视零知识证明技术信息的实效性和信息源质量的意义,不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失,请多支持我们(包括给予赞助支持),让这一汨清流继续流淌~
A live stream for the Science of Blockchain Conference (SBC) 2024 presentations taking place August 7-9 at Columbia University
Cryptography is undergoing a generational transition, from special-purpose cryptography to programmable cryptography.
The goal of this article is to dive into the techniques behind the SuperSpartan's polynomial IOP, which uses the sum-check protocol to prove CCS instances, by writing the protocol explicitely for a specific example.
The aim of this article is to unbundle the folding mechanism of the HyperNova protocol by writing it by hand.
Applications of ZK from a practitioner/engineer’s perspective.
LambdaClass team makes a deep dive into how the EraVM works and how it differs from the EVM.
A curated list of awesome ZKP resources, libraries, tools and more.
A detailed theoretical introduction and Python implementation of Additive NTT
文章由 Jack Gilcrest 撰写,详细介绍了 Cursive 团队在 ZK Summit 11 中集成折叠方案(folding schemes)的实际应用和经验。
SP1 is now feature-complete and recommended for production use.
SP1’s new GPU prover achieves state of the art performance, with the cheapest cloud costs vs. alternative zkVMs by up to 10x, across a diverse set of blockchain workloads like light clients and EVM rollups.
Chatting with peeps at SBC and realized I've made some educational resources about FRI soundness analysis that I never shared widely.
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!