zk-insights-20240922

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/

A performant NumPy extension for Galois fields and their applications

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

• 

  RISC Zero 🟡

  @RiscZero

  

  Introducing Boundless: The Verifiable Compute Layer
  
  Unlimited execution. Global composability. On-demand scaling.
  
  For every developer. On any chain.

  

  1,910

  20:04 • 2024年9月16日

• https://risczero.com/blog/boundless-the-verifiable-compute-layer

The Universal Proof Generation Layer

• https://www.fermah.xyz/

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

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

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

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

• 

  Semaphore

  @SemaphoreDevs

  

  We’re excited to announce the release of Semaphore V4 which introduces new features and optimizations that help make building on Semaphore more seamless, cost-effective, and efficient!
  
  Here are the updates:
  
  1/6

  

  77

  22:29 • 2024年9月18日

• https://github.com/semaphore-protocol/semaphore/releases/tag/v4.0.0

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

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

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

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

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

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