全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

密码学 101：从何开始

in  密码学101
本文介绍了密码学中的基本数学概念，特别是模运算和数学群的概念，为理解加密技术和数字签名等密码学技术奠定了基础。作者通过简单的例子解释了模运算和群生成器的概念，并提到这些数学概念在密码学中的重要性。
密码学  模运算  数学群  群生成器  数字签名 

拆解ZK Hack V中的难题

Zellic加密团队在ZK Hack V竞赛中成功解决了三道删除题目，其中包括基于Rust和halo2框架的密码学应用。文章详细总结了每个挑战的描述、解决方案和关键思路，强调了解释攻击的意图，展示了对相关技术的深刻理解。
ZK Hack  加密技术  Rust  Halo2  密码学  解决方案 
  • zellic
  • 发布于 2025-01-30
  • 阅读 ( 598 )

密钥派生的最佳实践

本文深入探讨了密钥派生函数（KDFs）在密码学应用中的重要性，并着重指出了KDFs使用中常见的误用情况，同时阐述了密钥派生的最佳实践，详细讨论了诸如HKDF的使用、盐值处理、以及如何组合多个密钥源等问题。此外，文章还介绍了如何安全地组合多个密钥，以应对量子计算带来的潜在威胁，并强调在选择KDF时应根据具体需求选择合适的工具，避免安全漏洞。
密钥派生函数  HKDF  密钥交换  密码学安全  密钥组合  双重PRF 

推出 Twist 和 Shout

本文介绍了Jolt zkVM的新进展，特别是Twist和Shout两种新的内存检查参数，它们通过快速提交到大型稀疏向量，简化了内存检查，并利用sum-check协议优化了证明过程。这些技术显著提高了Jolt的证明速度，并强调了sum-check协议在构建快速SNARKs中的关键作用，同时挑战了现有SNARK设计的某些流行观点。
zkVM  SNARKs  Jolt  Twist  Shout  sum-check协议 

在Circom中确保正确的整数除法

文章探讨了在素数域 $ ext{F}_p$ 中整数除法的挑战，特别是在零知识证明（ZKP）中的应用。强调了传统除法符号可能导致多个有效解的问题，并提供了两种解决方案：比特位除法算法和约束商的其他方法，以确保唯一性和安全性。讨论了使用 Circom 实现的具体代码示例及其优缺点。
整数除法  零知识证明  circom  素数域  电路约束 
  • thogiti
  • 发布于 2025-01-20
  • 阅读 ( 780 )

零知识证明 - RISC0 zkVM源代码入门

RISC0是一个zkVM
零知识证明  R1CS 
  • Star Li
  • 发布于 2025-01-19
  • 阅读 ( 1948 )

TFHE-rs v0.11：字符串、更快的零知识证明、GPU 上的加密数组

TFHE-rs v0.11 版本发布，主要带来了以下更新： 1. 零知识证明性能显著提升；2. 引入了基于 FheAsciiString 类型的新加密字符串模块；3. 默认加密参数现在遵循调整后的均匀噪声分布；4. GPU 性能提升，64 位加法运算速度提高 30%；5. 可以在 GPU 上轻松执行加密数组的计算。同时，该版本还改进了 GPU 性能，并修复了一些bug。
同态加密  零知识证明  GPU  TFHE-rs  Rust语言  加密字符串 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 537 )

fhEVM v0.6：增强的输入机制与证明能力、扩展的类型和更佳的配置能力

fhEVM v0.6 版本引入了更强大的输入机制与证明功能，扩展了类型支持，并增强了 fhEVM 部署的配置能力。同时，Zama 推出了 fhEVM Coprocessor，它允许在任何 EVM 链上构建保密智能合约，目前已在 Sepolia 测试网上提供。
fhEVM  同态加密  智能合约  EVM  Coprocessor  Sepolia 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 560 )

Concrete v2.9：增强的 TFHE-rs 互操作性、Python 3.12 支持和后端更新

Concrete v2.9 版本发布，增强了 TFHE-rs 的互操作性，扩展了对有符号整数的支持并完全支持张量的序列化和反序列化，支持 Python 3.12，包括 CPU 和 GPU wheels，并修复了一些 Bug，优化了 GPU 内核，提高了 FHE 的评估性能。
同态加密  TFHE-rs  Concrete  Python  互操作性  张量 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 462 )

TFHE-rs v0.11：字符串、更快的零知识证明、GPU 上的加密数组

TFHE-rs v0.11 版本发布，带来了多项重要改进和新功能，包括Zero Knowledge Proof性能的显著提升，以及通过 FheAsciiString 类型在高级 API 中使用加密字符串的新模块。新版本还引入了 TUniform 噪声分布来代替高斯分布，GPU 性能也得到提升，并支持在 GPU 上轻松执行加密数组的计算。
TFHE-rs  零知识证明  加密字符串  GPU  同态加密  Rust语言 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 410 )

Zama 产品发布 - 2025 年 1 月

Zama 团队发布了 TFHE-rs (v0.11)、Concrete (v2.9)、Concrete ML (v1.8) 和 fhEVM (v0.6) 的新版本。
同态加密  Concrete ML  fhEVM  TFHE-rs  零知识证明  EVM 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 459 )

Concrete v2.9：增强的 TFHE-rs 互操作性、Python 3.12 支持与后端更新

Concrete v2.9 版本发布，增强了 TFHE-rs 互操作性，扩展了对有符号整数的支持，并完全支持张量的序列化和反序列化，从而支持更复杂的用例，例如运行线性机器学习模型。此外，该版本还增加了对 Python 3.12 的支持，并包含各种优化和错误修复，以及对 GPU 内核的更新，从而略微提高了大型 FHE 评估的性能。
同态加密  TFHE-rs  Concrete  密码学  Python 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 433 )

fhEVM v0.6：增强的输入机制（具有证明能力）、扩展的类型和更好的可配置性

fhEVM v0.6 版本引入了扩展类型支持、具有证明能力的更强大的输入机制以及增强的 fhEVM 部署可配置性。其中最令人兴奋的创新是 fhEVM Coprocessor，开发者现在可以在任何 EVM 链上构建机密智能合约，目前已在 Sepolia 测试网上启动。此外，还提供了一些链接，可以帮助大家更好地了解 fhEVM Github存储库、fhEVM 文档等。
fhEVM  同态加密  智能合约  EVM  Coprocessor  Sepolia测试网 
  • ZamaFHE
  • 发布于 2025-01-15
  • 阅读 ( 521 )

密码学基础：环论(Rings)

in  密码学101
本文深入探讨了密码学中的环（ring）这一抽象代数结构，介绍了环的定义、基本性质及其在密码学中的应用，特别是后量子密码学（PQC）中的重要性。文章还详细讲解了理想（ideal）和商环（quotient ring）的概念，并通过多项式环的示例展示了如何将多项式映射到有限的环中。
环  后量子密码学  抽象代数  理想  商环  多项式环 

STARK 证明系统时序图

本文介绍了RISC Zero STARK协议的实现细节及其工作原理，涵盖了从设置阶段到主要执行跟踪、辅助执行跟踪，以及DEEP-ALI和FRI协议的细节。文章结构清晰，有助于理解这个基于零知识证明的系统的复杂性。
RISC Zero  STARK协议  零知识证明  执行跟踪  FRI协议  辅助执行跟踪 

AI代理个性化最重要的基础设施：Nillion

文章主要介绍了Nillion网络，一个支持在加密数据上进行计算而不解密的盲计算网络，它由PETnet和Nil Chain两层结构组成。Nillion通过多方计算（MPC）技术，实现了在保护隐私的前提下进行数据处理，并探讨了Nillion在AI代理、医疗保健、数据市场等领域的应用场景。文章认为数据隐私是Web3大规模采用的关键，而Nillion的盲计算技术有望解决这一问题。
Nillion  盲计算  多方计算  MPC  PETnet  Nil Chain 

Mina的测试框架

目录介绍我们在测试什么1.网络连接和节点管理网络连接单节点节点发现测试Rust接受OCaml的入站连接OCaml连接到广告的Rust节点通过OCaml种子节点发现Rust和OCaml节点OCaml节点发现测试OCaml到RustRust到OCaml通过种子
Mina  OpenBuild 
  • King
  • 发布于 2024-12-29
  • 阅读 ( 1567 )
  • ( 9 )

OpenMina: 测试用例说明

目录P2P测试RPCKademliaIdentifyConnection场景连接发现P2P连接KademliaPubsubP2P入站P2P出站单节点多节点记录/重放P2P测试RPCrust_to_rust:测试Rust节点是否可以
Mina  OpenBuild 
  • King
  • 发布于 2024-12-29
  • 阅读 ( 1411 )
  • ( 5 )

[Stark101] 3. 承诺（Commitments）

in  ZK101
承诺（Commitments）是Stark中用于去除需要交互验证的步骤，通过将Trace的值进行默克尔树构建，从而获得虚拟的交互验证。
STARK  Stark101  零知识证明  教程 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1778 )
  • ( 12 )

[Stark101] 2.低度拓展 (LDE)

in  ZK101
低度拓展(LDE)是Stark中用于提高安全性的一个步骤，通过把多项式的域拓展到更大的域，从而提高计算的安全性。
零知识证明  零知识证明入门  STARK 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1766 )
  • ( 10 )