2024-09-22 zk-insights Weekly

Highlights

Friends don’t let friends reuse nonces

This blog post tells a cautionary tale of what can go wrong when implementing a relatively basic type of cryptography: a bidirectional encrypted channel, such as an encrypted voice call or encrypted chat. We’ll explore how more subtle issues of this type can arise in a network with several encrypted channels, and we’ll describe a bug we discovered in a client’s threshold signature scheme.

• <https://blog.trailofbits.com/2024/09/13/friends-dont-let-friends-reuse-nonces/>

  The galois library

  A performant NumPy extension for Galois fields and their applications

• <https://github.com/mhostetter/galois>

  RISC ZERO: Introducing Boundless: The Verifiable Compute Layer

• <https://x.com/RiscZero/status/1835665979201724639>
• <https://risczero.com/blog/boundless-the-verifiable-compute-layer>

  Fermah

  The Universal Proof Generation Layer

• <https://www.fermah.xyz/>

  Aleo Mainnet is Here

• <https://aleo.org/post/announcing-aleo-mainnet/>

  powdr: a toolkit that helps build zkVMs and similar proof frameworks.

  It has two main components:

  1. powdr-asm: an extensible assembly IR language to perform dynamic executions.
  2. powdr-PIL: a low level constraint language that allows you to define arithmetic constraints, lookups, etc. It includes a functional meta-constraint language to describe how constraints are generated.
• <https://github.com/powdr-labs/powdr>

Updates

ZK Day at Science of Blockchain Conference '24

• <https://www.youtube.com/playlist?list=PLJ_r35m80nKjcv_31RcmQ-2-4g7E1btgf>

  Succinct Bootcamp Notes

• <https://github.com/yourbuddyconner/succinct-bootcamp>

  Semaphore V4

• <https://x.com/SemaphoreDevs/status/1836427240784920722>
• <https://github.com/semaphore-protocol/semaphore/releases/tag/v4.0.0>

Papers

LogRobin++: Optimizing Proofs of Disjunctive Statements in VOLE-Based ZK

• <https://eprint.iacr.org/2024/1427>

  Interactive Line-Point Zero-Knowledge with Sublinear Communication and Linear Computation

• <https://eprint.iacr.org/2024/1431>

  Untangling the Security of Kilian's Protocol: Upper and Lower Bounds

• <https://eprint.iacr.org/2024/1434>

  Eva: Efficient IVC-Based Authentication of Lossy-Encoded Videos

• <https://eprint.iacr.org/2024/1436>

  On the Complexity of Cryptographic Groups and Generic Group Models

• <https://eprint.iacr.org/2024/1452>

  FlashSwift: A Configurable and More Efficient Range Proof With Transparent Setup

• <https://eprint.iacr.org/2024/1441>