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

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
  • 阅读 ( 558 )

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
  • 阅读 ( 533 )

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

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

密码学基础：环论(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
  • 阅读 ( 1718 )
  • ( 9 )

OpenMina: 测试用例说明

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

[Stark101] 3. 承诺（Commitments）

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

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

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

[Stark101] 1.计算轨迹

in  ZK101
计算轨迹是 Stark 的第一步，也是最简单的一步，但是最为重要的一步。 但是在章节开始之前，你需要**必须 🚨**掌握以下前置知识：
零知识证明  零知识证明入门  STARK  教程 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 1868 )
  • ( 11 )

[Stark101] 0.序章

in  ZK101
重要‼️Stark101虽然是希望成为任何软件工程师的入门教程，但是ZK确实有太多不得不说的概念，不过，我会尽量用最简单，最少公式的方式来讲解。所以，Start101绝对不会教会你如何成为数学大师，其目的在于让你轻松的理解Stark的逻辑。但是你需要遵守以下规则：任何标题开头为附加内容
零知识证明  zk  教程  STARK 
  • BoxChen
  • 发布于 2024-12-28
  • 阅读 ( 2912 )
  • ( 13 )

OpenMina: 提交和生成新的 SNARK

SNARK证明是Mina区块链的核心，用于验证交易、区块和其他SNARK的有效性。我们希望优化SNARK的生产过程，以确保Mina区块链能够持续运行和扩展。这是SNARK工作流程的概述。点击图片查看高分辨率版本：接收区块以更新可用任务由于区块同时包含交易和SNAR
Mina  OpenBuild 
  • King
  • 发布于 2024-12-28
  • 阅读 ( 1496 )
  • ( 4 )

OpenMina: 扫描状态

这是一个数据结构，用于对需要交易SNARK证明的交易进行排队，并允许SNARK工作者并行处理这些交易SNARK。它被称为"扫描状态"是因为它将扫描类操作与Mina区块链状态的更新相结合。在函数式编程中，扫描会对元素序列应用特定操作，在每一步都跟踪中间结果并生成这些累积值的序列。
Mina  OpenBuild 
  • King
  • 发布于 2024-12-28
  • 阅读 ( 1384 )
  • ( 4 )

OpenMina: 运行非出块和出块节点

在开发网络上运行非出块节点本指南将指导您使用Docker在开发网络上运行AlphaRust节点。按照以下步骤设置节点并为这个Alpha版本提供反馈。1.前置要求确保您已安装Docker：Linux、macOS和Windows的Docker安装指南2.下载并
  • King
  • 发布于 2024-12-28
  • 阅读 ( 1300 )
  • ( 5 )

加密货币中的代币经济学：分析回购对代币价值和市场动态的影响

本文深入探讨了加密货币中代币经济学的演变，重点分析了回购策略对代币价值和市场动态的影响。文章详细阐述了代币经济学的基本要素，包括代币供应机制、需求驱动因素、代币效用和分配模型，并分析了加密货币回购机制及其对代币价值的影响，强调了透明度和投资者信任在回购计划中的关键作用，并讨论了回购的长期影响及未来发展趋势，以及监管因素。
代币经济学  加密货币  回购  市场动态  代币价值  投资者信任 

理解加密货币中的代币经济学：有效的速度测量方法

本文深入探讨了加密货币领域中 Token 速度的重要性及其测量方法。Token 速度是指 Token 在特定时间内所有者更换的频率，它直接影响 Token 的价值、市场稳定性和用户行为。文章详细介绍了 Token 速度的测量方法、影响因素，以及管理 Token 速度的策略，并探讨了未来 Token 速度测量的趋势，强调了精确测量和有效管理 Token 速度对于维持健康的 Token 经济至关重要。
Token速度  Token经济学  加密货币  区块链  交易量  Fisher方程式 

理解代币经济学：加密货币中代币解锁日期的重要性

本文深入探讨了加密货币领域中 Token 解锁这一关键概念及其对市场动态、项目稳定性的影响。文章详细分析了 Token 解锁的类型、时间表、智能合约机制，以及解锁事件对价格和投资者行为的影响模式。通过对 SUI Token 解锁案例的研究，文章还提供了投资者应对 Token 解锁事件的实用策略，并展望了 Token 解锁管理未来的发展趋势。
Token解锁  Token经济学  智能合约  加密货币  市场动态  价格影响 

理解加密货币中的代币经济学：锁仓计划综合指南

本文深入探讨了加密货币领域中代币经济学（Tokenomics）和锁仓计划（Vesting Schedules）的重要性。文章详细解释了代币供应机制、分配模型、效用和治理等核心组成部分，以及线性锁仓、悬崖锁仓和基于里程碑锁仓等不同类型的锁仓计划。此外，文章还讨论了锁仓计划在对齐利益相关者、防止市场操纵以及提升项目可持续性方面的重要作用，并分析了实施锁仓计划所面临的挑战和最佳实践。
代币经济学  锁仓计划  加密货币  代币分配  智能合约  市场操纵 

理解加密货币中的通证经济学：市值比较分析

本文深入探讨了通证经济学（Tokenomics）与市值（Market Capitalization）之间的关系，以及它们在加密货币领域中的重要性。
通证经济学  市值  加密货币  代币分配  代币效用  供应机制