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 应用于一系列特殊的简化模型--三元网络时，它通过额外利用模型参数的低位特性，进一步提高了效率。
https://brevisdotnetwork.wpcomstaging.com/2024/11/08/spazk-100x-faster-verifiable-ai-powered-by-cross-stack-zkml-optimization/ https://github.com/brevis-network/SpaZK
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 示例代码。
https://github.com/elikaski/ECC_Attacks
Updates
Ceno: Non-uniform, Segment and Parallel Risc-V Zero-knowledge Virtual Machine
https://github.com/scroll-tech/ceno
libsecp256k1 v0.6.0: MuSig2 Support & Other Improvements
https://www.nobsbitcoin.com/libsecp256k1-v0-6-0/
Benefits of EOF (EVM Object Format) for Zero Knowledge Proofs
https://blog.succinct.xyz/eofbenefits/
o1js support secp256r1
https://github.com/o1-labs/o1js/pull/1885
Papers
Linear Proximity Gap for Reed-Solomon Codes within the 1.5 Johnson Bound
https://eprint.iacr.org/2024/1810
Foundations of Adaptor Signatures
https://eprint.iacr.org/2024/1809
Fast Two-party Threshold ECDSA with Proactive Security
https://eprint.iacr.org/2024/1831
Encrypted RAM Delegation: Applications to Rate-1 Extractable Arguments, Homomorphic NIZKs, MPC, and more
https://eprint.iacr.org/2024/1806
Smoothing Parameter and Shortest Vector Problem on Random Lattices
https://eprint.iacr.org/2024/1805
OPTIMSM: FPGA hardware accelerator for Zero-Knowledge MSM
https://eprint.iacr.org/2024/1827
Siniel: Distributed Privacy-Preserving zkSNARK
https://eprint.iacr.org/2024/1803
Honey I shrunk the signatures: Covenants in Bitcoin via 160-bit hash collisions
https://eprint.iacr.org/2024/1802
BrakingBase - a linear prover, poly-logarithmic verifier, field agnostic polynomial commitment scheme
https://eprint.iacr.org/2024/1825
VCVio: A Formally Verified Forking Lemma and Fiat-Shamir Transform, via a Flexible and Expressive Oracle Representation
https://eprint.iacr.org/2024/1819
Batching Adaptively-Sound SNARGs for NP
https://eprint.iacr.org/2024/1812
If you’d like to receive updates via email, click subscribe. Stay informed and never miss a post!
https://paragraph.xyz/@zkinsights
