ZK Insights | 8th Sep 2024

Highlights

quantum punks

我们的主要论点是，量子密码学这一规模虽小但正在不断发展的领域可以：

1. 带来我们无法用经典密码学构建的新密码协议
2. 对更广泛的量子产业起到加速作用

更重要的是，我们之外的一小部分人相信，量子技术还有更多我们尚未发现的朋克应用。我们撰写这篇短文的目的，就是要让人们认识到量子技术的可能性，并聚集志同道合者共创未来。

Our main thesis is that a small yet growing field called Quantum Cryptography can:

1. lead to new cryptographic protocols that we could not build with classical cryptography
2. be accelerationist for the broader quantum industry

Even more so, a small movement of people beyond us, believe that there could be more cypherpunk applications of quantum technology that we have yet to discover.

We wrote this short doc to create awareness of what is possible and to gather like-minded people to build this future.

• https://x.com/iamnotnicola/status/1831376645766205533
• https://quantumpunks.org/
• https://deepquantum.xyz/

Glue and coprocessor architectur Vitalik

关于中央「粘合」组件和协处理器架构介绍的博客。其主要观点是，现代计算越来越多地遵循粘合和协处理器架构：中央「粘合」组件具有高通用性但效率低，负责在一个或多个协处理器组件之间传送数据；协处理器组件具有低通用性但效率高。

• https://vitalik.eth.limo/general/2024/09/02/gluecp.html

Preserving Reality: The Crucial Role of Attestation in Anti-FakeAI

TL;DR:加密技术成为应对这一威胁的主要防御手段，而验证则是确保内容真实性和验证人工参与的重要机制。本文深入探讨了验证，包括其定义、挑战和建议的解决方案。

TL;DR:Cryptography emerges as the primary defense against this threat, with attestation serving as a crucial mechanism to ensure content authenticity and validate human involvement. This article provides an in-depth exploration of attestation, including its definitions, challenges, and proposed solutions.

• https://xiangxiecrypto.github.io/2024-08-28-zkAttestation/

Crypto’s AirTag Moment: Unlocking Mass Adoption with Web Proofs

How zkTLS will revolutionize airdrops, incentives, and marketplaces

• https://www.nascent.xyz/idea/cryptos-airtag-moment

shinigami

shinigami is a Bitcoin Script library for generic Script VM execution in Cairo, enabling the generation of STARK proofs for Bitcoin Script computation and Bitcoin transaction execution.

• https://github.com/keep-starknet-strange/shinigami
• https://www.shinigamibtc.dev/

Ente

Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos

• https://github.com/ente-io/ente

Notes on Extractable Witness Encryption for KZG Commitments and Efficient Laconic OT

• https://www.leku.blog/kzg-we/

‘Groups’ Underpin Modern Math. Here’s How They Work.

Quanta Magazine 关于群的发展历史的介绍。整数与三角形的对称性有什么共同点？19 世纪，数学家们发明了群来回答这个问题。

What do the integers have in common with the symmetries of a triangle? In the 19th century, mathematicians invented groups as an answer to this question.

• https://www.quantamagazine.org/groups-underpin-modern-math-heres-how-they-work-20240906/

Updates

Opening "packed" univariate polynomials over binary fields.

• https://hackmd.io/xooS2jz1S_2VDOK6mtJ_lA?view

Mersenne 31 Polynomial Arithmetic

一个全面而简明的关于如何在 M31 域有效地实现域和多项式运算，特别是在 Circle STARK [UH24] 的背景下的介绍教程。通过探讨与这种域选择相关的优势和挑战，本说明旨在为从业人员提供有效优化其密码系统所需的知识。

• https://github.com/ingonyama-zk/papers/blob/main/Mersenne31_polynomial_arithmetic.pdf

ICICLE v3: Going multi-platform

• https://medium.com/@ingonyama/icicle-v3-1c9cc2f94402

Verifiable Summit 2024

• https://www.youtube.com/watch?v=kw23u5djo2Y

Lurk 0.5 Benchmarks

• https://argument.xyz/blog/perf-2024/

Papers

Tightly Secure Non-Interactive BLS Multi-Signatures

• https://eprint.iacr.org/2024/1368

Locally Verifiable Distributed SNARGs

• https://eprint.iacr.org/2024/1385

Cache Timing Leakages in Zero-Knowledge Protocols

• https://eprint.iacr.org/2024/1390

Bandersnatch: a fast elliptic curve built over the BLS12-381 scalar field

本文介绍了在 BLS12-381 标量域上建立的新椭圆曲线 Bandersnatch。该曲线配备了高效的自同态特性，允许使用快速的标量乘法算法。基准测试表明，与具有类似特性的另一条名为 Jubjub 的曲线相比，乘法运算速度提高了 42%，R1CS 形式的电路规模减少了 21%，Plonk 电路减少了 10%。许多依赖于 Jubjub 曲线的零知识证明系统都能从我们的结果中受益。

• https://link.springer.com/article/10.1007/s10623-024-01472-0

Learnings

Yet another circle STARK tutorial

• https://solutions.chainsafe.io/blog/circle-starks/

Elliptic Curves: Cheat Sheet

椭圆曲线备忘清单，包含了关于椭圆曲线参数，性质和类型的介绍。

• https://hackmd.io/@timofey/rJ8HP8Yaj

Developer's Guide to Application-Specific Elliptic Curves

• https://taueflambda.dev/posts/app-specific-curves/

Juypter Notebook: Cryptography Fundamental

Bill Buchanan OBE 创建了一个 Juypter Notebook 来演示密码学的一些基础组件是如何运行的。

• https://www.youtube.com/watch?v=JaiJ5ueo9O4
• https://asecuritysite.com/jup/jup01

MIRACL Core

MIRACL Core  is an open source library, & includes a wide range of public key encryption methods. It is especially focused on elliptic curve and pairing-friendly methods, but also supports a wide range of encryption methods, including RSA, AES and hashing.

• https://asecuritysite.com/miracl/
  
  
  
  

*感谢 Kurt、Harry、flyq、only4sim 对本期 ZK Insights 的特别贡献！