Cover photo

ZK Insights | 26th Jan 2025

#47

ZK Insights

ZK Insights

Highlights

Let’s talk about AI and end-to-end encryption

文章探讨了 AI 对端到端加密隐私的威胁,分析本地与云端处理的挑战,并提出信任硬件等可能的解决方案。

The article examines AI's impact on end-to-end encryption, challenges of local vs. cloud processing, and potential solutions like trusted hardware.

Falcon as an Ethereum Transaction Signature: The Good, the Bad, and the Gnarly

该提案探讨将 Falcon 签名用于以太坊交易的可行性,分析其优点(紧凑性、高效验证)、缺点(实现复杂性)及挑战(签名聚合)。

The proposal evaluates Falcon signatures for Ethereum transactions, highlighting benefits (compactness, efficient verification), drawbacks (implementation complexity), and challenges (signature aggregation).

Pairings coming out

文章深入解析配对运算的数学基础,包括椭圆曲线、除子及有理函数,揭示其在密码学中的关键作用,强调其并非神秘,仅是数学应用。

The article explores the math behind pairings, focusing on elliptic curves, divisors, and rational functions, highlighting their pivotal role in cryptography as practical math applications.

The State Of FHE Report

这份报告主要涵盖:概览、市场调研、几位行业专家的话、附录

This report includes: overview, market study, industry experts, appendix

A zero knowledge protocol that allows verification of LoRA fine-tuning of open source AI models, in 1-2 seconds.

注:低秩自适应(LoRA)是一种广泛采用的定制大规模语言模型的方法。

Note: Low-Rank Adaptation (LoRA) is a widely adopted method for customizing large-scale language models.

Self-Sovereign Identity & Programmable Cryptography: Challenges Ahead

文章探讨去中心化自我主权身份(SSI)的技术与社会挑战,重点分析隐私保护密码学(如ZKP)及其在身份验证、互操作性、量子安全等方面的应用与未来路径。

The article examines decentralized Self-Sovereign Identity (SSI) challenges, focusing on privacy-preserving cryptography (e.g., ZKP), addressing identity verification, interoperability, post-quantum security, and potential future developments.

Updates

SP1 Turbo (v4.0.0)

Fermat's Little Theorem & Modular Inverses | | zero-knowledge math prerequisites

Papers

Integer Commitments, Old and New Tools

Arbitrary-Threshold Fully Homomorphic Encryption with Lower Complexity

poqeth: Efficient, post-quantum signature verification on Ethereum

Public-Key Quantum Money From Standard Assumptions (In The Generic Model)

A Survey on Transciphering and Symmetric Ciphers for Homomorphic Encryption

Multi-Key Homomorphic Secret Sharing

Non-Interactive Distributed Point Functions

Simultaneous-Message and Succinct Secure Computation

Available Attestation: Towards a Reorg-Resilient Solution for Ethereum Proof-of-Stake

Zero-Knowledge Proofs of Quantumness

A practical distinguisher on the full Skyscraper permutation

Twist and Shout: Faster memory checking arguments via one-hot addressing and increments

NTRU+Sign: Compact NTRU-Based Signatures Using Bimodal Distributions

A Formal Treatment of Homomorphic Encryption Based Outsourced Computation in the Universal Composability Framework

Verification-efficient Homomorphic Signatures for Verifiable Computation over Data Streams

Post-Quantum Stealth Address Protocols

Post-Quantum Threshold Ring Signature Applications from VOLE-in-the-Head


If you’d like to receive updates via email, subscribe us!

Collect this post as an NFT.

Subscribe to ZK Insights to receive new posts directly to your inbox.

ZK Insights | 26th Jan 2025