ZK Insights | ZK Insights

Highlights

Apple: Private Cloud Compute Security Guide

A new frontier for AI privacy in the cloud.

https://security.apple.com/documentation/private-cloud-compute/

SpaZK: 100X Faster Verifiable AI powered by Cross-stack ZKML Optimization

To enable practical ZKML, model simplification techniques like pruning and quantization should be applied. These simplification techniques not only condense complex models into forms with sparse, low-bit weight matrices, but also maintain exceptionally high model accuracies that matches its unsimplified counterparts. In this paper, we propose SpaGKR, a novel sparsity-aware ZKML framework that is proven to surpass capabilities of existing ZKML methods. SpaGKR is a general framework that is widely applicable to any computation structure where sparsity arises. When applying SpaGKR-LS to a special series of simplified model - ternary network, it achieves further efficiency gains by additionally leveraging the low-bit nature of model parameters.

为实现实用的 ZKML，需要采用剪枝和量化等模型简化技术。这些简化技术不仅能将复杂的模型压缩成稀疏、低比特权重矩阵的形式，还能保持极高的模型精度，与未简化的模型相媲美。在本文中，我们提出了一种新颖的稀疏感知 ZKML 框架 SpaGKR，它已被证明超越了现有 ZKML 方法的能力。 SpaGKR 是一个通用框架，可广泛适用于出现稀疏性的任何计算结构。在将 SpaGKR-LS 应用于一系列特殊的简化模型--三元网络时，它通过额外利用模型参数的低位特性，进一步提高了效率。

Sampling for Proximity and Availability

https://baincapitalcrypto.com/sampling-for-proximity-and-availability/

Getting started with MPC

Here's a short list of resources that are beginner friendly in terms of both books, papers and code.

Mikerah 的推荐 MPC 学习清单，适合初学者，包括书籍，论文和代码

https://x.com/badcryptobitch/status/1854947157628850263

Known Attacks On Elliptic Curve Cryptography

This article presents what elliptic curves are, the basic operations that can be performed on them, and how they can be used in cryptographic context. The majority of this article consists of examples of known attacks on incorrect implementations or wrong uses of them. Throughout the article I try to separate the explanation into an intuitive and high level part, and a mathematical part that goes into more details. 本文介绍了什么是椭圆曲线、在椭圆曲线上可以执行的基本操作，以及如何在加密环境中使用椭圆曲线。本文的大部分内容都是对椭圆曲线不正确实现或错误使用的已知攻击实例。在整篇文章中，我试图将解释分为直观和高层次的部分，以及深入细节的数学部分。另外仓库还配套了相应的 sage 示例代码。