当前位置：首页 > news >正文

Polygon Miden网络：具有客户端执行的边缘区块链

news 来源：原创 2025/8/21 0:55:39

1. 引言

在这里插入图片描述
LambdaClass与Miden已合作超过18个月，这段合作关系始于帮助 Miden 开发客户端，为 Miden 网络提供交易执行和证明的支持。随着时间推移，双方的合作不断加深，工作也扩展到了协议和节点的开发上，涵盖了多个方面。最近，LambdaClass开始协助Miden编译器的开发，进一步扩大了其在 Miden 生态中的参与。

Miden 是一条边缘区块链：

一条专为高吞吐量、隐私应用打造的rollup链，
由基于 STARK 的虚拟机 Miden-VM 提供支持。

Miden 利用ZK零知识技术，旨在同时实现两个目标：

隐私状态管理和高度可扩展性。

这两个特性对于现实世界中的应用至关重要，使用户能够选择他们想要共享的数据，并处理大量交易。其基于 Actor 的模型支持并发交易，并确保交易数据不会暴露在区块链中，这不仅实现了数字现金功能，也让用户可以选择哪些信息在账本中公开。因此，Miden 能够高效扩展，同时支持公开交易与私密交易，满足多样化需求。

在 Miden 中，账户持有资产，并可定义转移资产的规则。数据可以是公开的也可以是私密的，存储于 Miden 节点中。Notes 是一种资产转移和账户间交互的方式，其中包含脚本，定义该 note 如何被消费。note 的转移可以是异步和私密的。如果是私密 note，仅其哈希值会存储在链上。

资产转移分为两个步骤：

首先，发送方生成 note 并更新其内部状态；
其次，接收账户执行一笔新交易以消费该 note 并更新其状态。

Miden 跟踪账户状态、新建的 notes，以及已消费 notes 的 nullifier。

Miden-VM 是一个基于 STARK 的虚拟机，拥有自定义的指令集架构（ISA），采用 ZK 友好的原语以提升证明效率。该虚拟机使用 MiniGoldilocks 域（ $2^{64}-2^{32}+1$ ）及其扩域，具备快速算术能力。由于其专用的指令集，程序需要用 Miden 汇编语言编写。开发支持通用编程语言（如 Rust）的编译器，将使开发者能够编写高级代码并将其编译为 Miden 汇编语言，从而实现可证明应用的简化开发。

实现上述所有特性需要大量工程投入和深思熟虑，而 Miden 在其希望为用户与客户端提供的功能方面做出了正确的选择，并始终保持完全开源，与他人共享其成果与见解。

LambdaClass团队对 Miden 的热情来源于其为区块链领域提供了一种创新的方式：

Miden通过快速的客户端证明实现合规隐私。
- 其设计与架构借鉴了 Actor 模型，简单而优雅却极具威力，可实现并行交易执行和批处理，极大提升吞吐量和扩展性，同时最小化状态膨胀。
- 其成熟的代码库为开发者解决复杂问题提供了有力支持，与 LambdaClass团队的价值观高度契合。

展望未来，LambdaClass团队将继续致力于推动 Miden 的使命，助力其为用户和开发者释放更多潜力与可能性。

参考资料

[1] LambdaClass团队2025年5月5日博客 Lambda’s new strategic partnership with Miden: the Edge blockchain
[2] LambdaClass团队2023年12月27日博客 Lambdaworks as a drop-in replacement for Winterfell to prove the Miden-VM

Polygon Miden网络：具有客户端执行的边缘区块链

1. 引言 LambdaClass与Miden已合作超过18个月，这段合作关系始于帮助 Miden 开发客户端，为 Miden 网络提供交易执行和证明的支持。随着时间推移，双方的合作不断加深，工作也扩展到了协议和节点的开发上，涵盖了多个方面。…...

编程日记 2025/8/21 0:55:39

临床智能体AI与环境感知AI的融合：基于python的医疗自然语言处理深度分析

引言医疗领域的数智化进程正以前所未有的速度推进，人工智能技术的应用尤为显著。随着大型语言模型（LLMs）的迅猛发展，医疗AI已从简单的辅助工具升级为复杂的智能体系统。临床智能体AI与环境感知AI的融合代表了医疗AI的最新发展方向，为重塑医疗运营自然语言处理提供了全新…...

编程日记 2025/8/20 4:20:59

Spring AI Alibaba-03- Spring AI + DeepSeek-R1 + ES/Milvus + RAG 智能对话应用开发全流程

Spring AI Alibaba-03- Spring AI DeepSeek-R1 ES/Milvus RAG 智能对话应用开发全流程在[人工智能]（AI）应用中，模型通常需要访问外部资源或执行特定操作，例如数据库查询、调用外部API或执行计算任务。Spring AI，作…...

编程日记 2025/8/20 1:47:42

20250506异形拼图块（圆形、三角、正方，椭圆/半圆）的中2班幼儿偏好性测试（HTML）

背景介绍最近在写一份工具运用报告，关于剪纸难度的。所以设计了蝴蝶描边系列和异形凹凸角拼图。【教学类-102-20】蝴蝶三色图作品2——卡纸蝴蝶“满格变形图”（滴颜料按压对称花纹、原图切边后变形放大到A4横版最大化）-CSDN博客文章浏览阅读609次，点赞8次，收藏3次。【…...

编程日记 2025/8/21 0:51:17

Edge浏览器PDF字体显示错误

Edge浏览器PDF字体显示错误软件版本信息 Edge Version: 136.0.3240.50 Word Version: Microsoft Office 专业增强版2021问题描述在Word中使用多级列表自动编号, 并使用Word软件自带的导出为PDF文件功能, 在Word中显示正常的数字, 在Edge中查看PDF将会出现渲染错误的现象,…...

编程日记 2025/8/17 8:55:21

git中android studio不想提交文件

修改.gitignore文件 *.iml .gradle /local.properties /.idea/caches /.idea/libraries /.idea/modules.xml /.idea/workspace.xml /.idea/navEditor.xml /.idea/assetWizardSettings.xml /.idea/* /app/* .DS_Store /build /captures .externalNativeBuild .cxx local.propert…...

编程日记 2025/8/20 15:49:18

==和equals的区别 hashCode和equals的联系

和equals的区别： 对于没有重写equals()方法的类，和equals的作用是相同的：比较两个实例对象的地址是否相同。而对于重写了equals方法的类，equals方法则比较的是两个实例对象的内容（例如String对象）。 hashC…...

编程日记 2025/8/18 13:05:13

国联股份卫多多与国术科技签署战略合作协议

4月30日，国术科技（北京）有限公司（以下简称“国术科技”）营销中心总经理王志广、贾雷一行到访国联股份卫多多，同卫多多/纸多多副总裁、产发部总经理段任飞，卫多多机器人产业链总经理桂林展开深入…...

编程日记 2025/8/18 13:05:11

依图科技C++后端开发面试题及参考答案

请介绍你所了解的分布式系统分布式系统是由多个独立的计算节点通过网络连接组成的系统，这些节点共同协作以完成特定的任务。分布式系统的设计目标在于提升系统的性能、可扩展性、可靠性和容错性。从性能方面来看，分布式系统能够把任务分配到多个节点…...

编程日记 2025/8/18 13:05:09

【计算机网络】TCP/IP四层模型是什么？与OSI七层模型哪些区别？

TCP/IP四层模型从上到下依次为： 1.应用层 2.传输层 3.网络层 4.网络接口层一、TCP/IP四层模型： 1.应用层： 提供用户可直接使用的网络服务。如网页、邮件。关键协议： HTTP/HTTPS：网页浏览。DNS：域名解…...

编程日记 2025/8/20 4:15:53

基于计算机视觉的试卷答题区表格识别与提取技术

基于计算机视觉的试卷答题区表格识别与提取技术摘要本文介绍了一种基于计算机视觉技术的试卷答题区表格识别与提取算法。该算法能够自动从试卷图像中定位答题区表格，执行图像方向矫正，精确识别表格网格线，并提取每个答案单元格。本技术可…...

编程日记 2025/8/20 7:23:51

Java面试全栈解析：Spring Boot、Kafka与Redis实战揭秘

《Java面试全栈解析：Spring Boot、Kafka与Redis实战揭秘》【面试现场】面试官：（推了推眼镜）小张，你简历里提到用Spring Boot开发过微服务系统，能说说自动配置的实现原理吗？ 程序员&#xff1…...

编程日记 2025/8/18 14:47:02

打成jar 包以后,运行时找不到文件路径?

报错信息： FileNotFoundException。。。。。。。原因： 打成jar包后，路径src/*可能都找不到了。使用命令,查看jar包内的结构及文件路径： tar -tf XX.jar 你会看到目录结构： META-INF/ META-INF/MANIFEST.MF main/ ma…...

编程日记 2025/8/18 14:47:00

C++复习2

set、map、multiset、multimap CSTL包含了序列式容器和关联式容器： 序列式容器里面存储的是元素本身，其底层为线性序列的数据结构。比如：vector，list，deque，forward_list(C11)等。关联式容器里面存储的是…...

编程日记 2025/8/20 15:47:12

el-row el-col

参考layout布局 Element - The worlds most popular Vue UI frameworkElement，一套为开发者、设计师和产品经理准备的基于 Vue 2.0 的桌面端组件库https://element.eleme.cn/#/zh-CN/component/layout#row-attributes 一行可以看做24个 Element UI 中的 el-row 是…...

编程日记 2025/8/18 14:46:56

【旅游网站设计与实现】基于SpringBoot + Vue 的前后端分离项目 | 万字详细文档 + 源码 + 数据库 + PPT

一、项目简介旅游网站管理系统以信息化为核心，结合用户体验和系统管理功能，为旅游爱好者和管理者提供全面的服务平台。通过系统，用户可以浏览线路、收藏心仪旅游产品、下单订购，管理员则可在后台完成旅游线路管理、用户管理、订…...

编程日记 2025/8/18 14:46:54

On the Biology of a Large Language Model——论文学习笔记——拒答和越狱

本文仍然是对Anthropic团队的模型解释工作 On the Biology of a Large Language Model 的学习笔记。前几篇课见我的主页中相同标题的几篇文章本篇主要关注的是该博客中的Refusal和 Life of a Jailbreak这两部分的内容。一句话总结在这两部分中，作者展示了以下…...

编程日记 2025/8/18 14:46:53

使用OpenCV 和Dlib 实现表情识别

文章目录引言1.代码主要概述2.代码解析2.1 面部特征计算函数(1) 嘴部宽高比(MAR)(2) 嘴宽与脸颊宽比值(MJR)(3) 眼睛纵横比(EAR)(4) 眉毛弯曲比(EBR) 2.2 自定义函数显示中文2.3 表情分类逻辑2.4 实时视频处理 3.系统特点4.总结引言面部表情是人类情感交流的重要方式&#…...

编程日记 2025/8/18 3:38:06

Matplotlib 饼图

pie()：绘制饼图 Matplotlib 直方图我们也可以结合 Pandas 来绘制直方图除了数据框之外，我们还可以使用 Pandas 中的 Series 对象绘制直方图。只需将数据框中的列替换为 Series 对象 Matplotlib imshow() imshow() 可以显示灰度图像 imshow() 可以显示彩…...

编程日记 2025/8/21 0:53:33

区块链交易所开发:开启数字交易新时代

区块链交易所开发：开启数字交易新时代 ——2025年技术革新与万亿级市场的破局指南一、区块链交易所的颠覆性价值 1️⃣ 去中心化革命终结数据霸权区块链交易所通过分布式账本技术，将交易数据存储于全网节点，彻底消除中心化服务器宕机、跑路…...

编程日记 2025/8/20 19:30:21

ChatGPT对话导出工具-轻松提取聊天记录导出至本地[特殊字符]安装指南

1、edge浏览器安装tampermonkey插件 Edge浏览器安装：https://microsoftedge.microsoft.com/addons/detail/%E7%AF%A1%E6%94%B9%E7%8C%B4/iikmkjmpaadaobahmlepeloendndfphd 其他浏览器安装：https://www.tampermonkey.net/index.php?browserchrome 2、…...

编程日记 2025/8/20 14:14:18

k8s node soft lockup (内核软死锁) 优化方案

在 Kubernetes 环境中，Node 节点的内核软死锁（soft lockup）是一个严重的稳定性问题，可能导致节点无响应、Pod 调度失败甚至数据丢失。以下是针对该问题的优化策略和解决方案： 一、临时缓解措施 1. 调整内核 watchdog…...

编程日记 2025/8/18 14:46:42

【LDM】视觉自回归建模：通过Next-Scale预测生成可扩展图像（NeurIPS2024最佳论文阅读笔记与吃瓜）

【LDM】视觉自回归建模：通过Next-Scale预测生成可扩展图像（NeurIPS2024最佳论文阅读笔记与吃瓜） 《Visual Autoregressive Modeling: Scalable Image Generation via Next-Scale Prediction》视觉自回归建模：通过Next-Scale预测…...

编程日记 2025/8/20 2:52:30

计算机网络-传输层

一、概述 1、逻辑通信：对等层之间的通信好像是沿着水平方向传送的，但两个对等层之间并没有一条水平方向的物理连接。 2、复用与分用 2.1传输层复用：发送方不同的应用进程可以使用同一传输层协议传送数据分用：接收方的传输层…...

编程日记 2025/8/18 14:46:37

MacOS+VSCODE 安装esp-adf详细流程

安装python3，省略vscode安装ESP-IDF插件，选择v5.2.5 版本，电脑需要能够访问github，esp-idf安装后的默认目录是: /Users/***/esp/v5.2.5/esp-idf# 启动***为省略名称在/Users/***/esp/ 目录下使用git clone 下载 esp-adf # 国内用…...

编程日记 2025/8/20 18:52:48

2025年5月HCIP题库（带解析）

某个ACL规则如下:则下列哪些IP地址可以被permit规则匹配： rule 5 permit ip source 10.0.2.0 0.0.254.255 A、10.0.4.5 B、10.0.5.6 C、10.0.6.7 D、10.0.2.1 试题答案：A;C;D 试题解析： 10.0.2.000001010.00000000.00000010.0000000…...

编程日记 2025/8/18 14:46:33

【Linux系统】vim编辑器的使用

文章目录一、vim编辑器的简单介绍二、vim的一键化配置方案（目前只支持 Centos7 x86_64）三、vim编辑器在各模式下的操作1.vim的使用以及各模式间的切换2.普通模式（Normal Mode，初始默认处于该模式）3.替换模式&#x…...

编程日记 2025/8/18 14:46:31

网站主机控制面板深度解析：cPanel、Plesk 及其他主流选择

网站主机控制面板深度解析：cPanel、Plesk 及其他主流选择在网站管理和服务器维护的领域，一个强大且易用的控制面板至关重要。它们能够将复杂的技术命令转化为直观的图形界面，极大简化了网站管理员的工作。本文将为您详细介绍市面上几款主流…...

编程日记 2025/8/18 14:46:28

【程序员AI入门：应用】7.LangChain是什么？

LangChain作为当前最热门的AI应用开发框架，正在重塑大语言模型（LLM）的应用生态。其核心价值在于解耦LLM能力与工程实现，构建起连接智能模型与现实世界的"神经网络"。一、核心定位：AI应用的"操作系统&q…...

编程日记 2025/8/18 14:46:27

jenkins访问端口调整成80端口

使用 Nginx 反向代理解决以上问题，这样可以： 1. 保持 Jenkins 在其他端口（博主使用8090端口） 稳定运行 2. 通过 Nginx 将 80 端口的请求转发到 Jenkins 3. 更安全，因为 Jenkins 不需要直接监听 80 端口 4. 后续如果…...

编程日记 2025/8/18 14:46:24

如何从服务器日志中分析是否被黑客攻击？

一、关键日志文件定位与攻击特征分析 1. ‌核心日志文件路径‌ Web 服务器日志‌： Nginx：/var/log/nginx/access.log（访问日志）、/var/log/nginx/error.log（错误日志） Apache：/var/log/apache2/…...

编程日记 2025/8/19 20:59:04

[250504] Moonshot AI 发布 Kimi-Audio：开源通用音频大模型，驱动多模态 AI 新浪潮

目录 Moonshot AI 发布 Kimi-Audio：开源音频基础模型，赋能音频理解、生成与对话新时代核心能力与特性技术基础开放资源与评估行业意义 Moonshot AI 发布 Kimi-Audio：开源音频基础模型，赋能音频理解、生成与对话新时代 Moonshot A…...

编程日记 2025/8/18 14:46:20

OpenCV 图形API（77）图像与通道拼接函数-----对图像进行几何变换函数remap()

操作系统：ubuntu22.04 OpenCV版本：OpenCV4.9 IDE:Visual Studio Code 编程语言：C11 算法描述对图像应用一个通用的几何变换。函数 remap 使用指定的映射对源图像进行变换： dst ( x , y ) src ( m a p x ( x , y ) , m a p y…...

编程日记 2025/8/18 14:46:18

理清缓存穿透、缓存击穿、缓存雪崩、缓存不一致的本质与解决方案

在构建高性能系统中，缓存（如Redis） 是不可或缺的关键组件，它大幅减轻了数据库压力、加快了响应速度。然而，在高并发环境下，缓存也可能带来一系列棘手的问题，如：缓存穿透、缓存击穿、…...

编程日记 2025/8/18 14:46:16

Jetpack Compose 自定义 Slider 完全指南

自定义 Compose Slider 在 Jetpack Compose 中，你可以通过多种方式自定义 Slider 组件。以下是一些常见的自定义方法： 基本自定义 var sliderPosition by remember { mutableStateOf(0f) }Slider(value sliderPosition,onValueChange { sliderPosit…...

编程日记 2025/8/18 14:46:14

荣耀A8互动娱乐组件部署实录（终章：后台配置系统与整体架构总结）

作者：被配置文件的“开关参数”折磨过无数次的运维兼后端工一、后台系统架构概述荣耀A8组件后台采用 PHP 构建，配合 MySQL 数据库与 Redis 缓存系统，整体结构遵循简化版的 MVC 模式。后台主要实现以下核心功能：系统参数调控与配置热更新用户管理（封号、授权、角色） …...

编程日记 2025/8/18 14:46:12

本地文件批量切片处理与大模型精准交互系统开发指南

本地文件批量切片处理与大模型精准交互系统开发指南一、系统架构设计 #mermaid-svg-yCbT2xBukW6iX98y {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-yCbT2xBukW6iX98y .error-icon{fill:#552222;}#mermaid-svg-y…...

编程日记 2025/8/18 14:46:09

homebrew安装配置Python（MAC版）

Mac系统自带python路径为: /System/Library/Frameworks/Python.framework/Versionbrew 安装 Python3 在终端输入以下命令： brew search python3 # 查看支持安装的版本 brew install python3就可以轻松easy安装python了，安装完成后提示查看 pyth…...

编程日记 2025/8/20 1:31:02

STM32--RCC--时钟

教程系统时钟 RCC RCC（Reset and Clock Control）是STM32微控制器中管理时钟和复位系统的关键外设模块，负责整个芯片的时钟树配置和复位控制。 RCC主要功能时钟系统管理： 内部/外部时钟源选择时钟分频/倍频配置各外设时钟门…...

编程日记 2025/8/18 14:46:05

深度学习在油气地震资料反卷积中的应用

深度学习在油气地震资料反卷积中的应用基本原理在油气地震勘探中，反卷积(Deconvolution)是一种重要的信号处理技术，用于提高地震资料的分辨率。传统方法(如维纳滤波、预测反卷积等)存在对噪声敏感、假设条件严格等局限。深度学习方法通过数据驱动的方…...

编程日记 2025/8/18 14:46:03

实现滑动选择器从离散型的数组中选择

1.使用原生的input 详细代码如下： <template><div class"slider-container"><inputtype"range"v-model.number"sliderIndex":min"0":max"customValues.length - 1"step&qu…...

编程日记 2025/8/18 14:11:15

基于 GO 语言的 Ebyte 勒索软件——简要分析

一种新的勒索软件变种，采用Go 语言编写，使用ChaCha20进行加密，并使用ECIES进行安全密钥传输，加密用户数据并修改系统壁纸。其开发者EvilByteCode曾开发过多种攻击性安全工具，现已在 GitHub 上公开 EByte 勒索软件。尽管该勒索软件声称仅用于教育目的，但滥用可能会导致严重…...

编程日记 2025/8/18 14:45:59

学习人工智能开发的详细指南

一、引言人工智能（AI）开发是一个充满挑战与机遇的领域，它融合了数学、计算机科学、统计学、认知科学等多个学科的知识。随着大数据、云计算和深度学习技术的快速发展，AI已经成为推动社会进步和产业升级的关键力量。本文将为初学…...

编程日记 2025/8/18 14:45:57

使用图像生成式AI和主题社区网站助力运动和时尚品牌的新产品设计和市场推广的点子和实现

通过构建针对公司产品线的专有图像生成式AI模型，用户可以将自己对于产品的想法和偏好，变成设计发布到社区空间中与社区分享，也可以通过在产品经典款或使用社区空间中其它人的创作来重新设计。组织大型市场推广活动来宣传DIY设计理念&#xff…...

编程日记 2025/8/18 14:45:55

POI创建Excel文件

文章目录 1、背景2、创建表格2.1 定义表头对象2.2 Excel生成器2.3 创建模板2.4 处理Excel表头2.5 处理Excel内容单元格样式2.6 处理单个表头 3、追加sheet4、静态工具5、单元测试6、完整代码示例 1、背景需求中有需要用户自定义Excel表格表头，然后生成Excel文件&a…...

编程日记 2025/8/20 12:21:42

CentOS虚拟机固定ip以及出现的问题

1.打开终端，进入网卡配置目录： cd etc/sysconfig/network-scripts 2.找到网卡配置文件，我这里是 ifcfg-ens32（替换成你自己的文件） 4.进入ifcfg-ens32，注释IPV6，修改别的参数如下图 TYPEEther…...

编程日记 2025/8/18 14:45:52

【Python】常用命令提示符

Python常用的命令提示符一、Python环境基础命令【Windows】于Windows环境下，针对Python，在CMD（命令提示符）常用的命令以及具体用法，怎么用； 主要包含：运行脚本、包管理、虚拟环境、调试与…...

编程日记 2025/8/18 14:46:09

Java引用RabbitMQ快速入门

这里写目录 Java发送消息给MQ消费者接收消息实现一个队列绑定多个消费者消息推送限制 Fanout交换机路由的作用Direct交换机使用案例 Java发送消息给MQ public void testSendMessage() throws IOException, TimeoutException {// 1.建立连接ConnectionFactory factory new Conn…...

编程日记 2025/8/18 13:05:05

USB接口的PCB设计

目录 USB接口简介 USB3.0接口 USB接口的电路设计 USB接口的PCB设计 USB接口简介 USB（通用串行总线）接口是一种广泛应用于电子设备的标准连接技术，自1996年由英特尔、微软等公司联合推出以来，逐步取代了传统串口、并口等复杂接…...

编程日记 2025/8/18 18:56:32

星纪魅族新品发布会定档5月13日，Note 16系列战神归来

5 月 13 日，星纪魅族将举办 Note 16 系列新品线上发布会。届时，国民严选魅族 Note 16 系列将战神归来，刷新用户对“高性价比科技”的想象，开启一场关乎「国民 AI 科技平权」的革新盛宴。无创意不魅族，花式创意邀请即日…...

编程日记 2025/8/18 14:46:08

1. 引言

参考资料

相关文章：