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

Proof Beyond Boundaries: Hong Kong zkNight 活动精彩回顾

2 月 19 日,随着夜幕的降临,一场汇聚行业智慧与前瞻视野的高端主题活动 ——Proof Beyond Boundaries: Hong Kong zkNight,在香港铜锣湾 Vpoint 的 6/F 盛大启幕。本次活动由 ZEROBASE 主办,Techub News 承办,吸引了众多行业精英、技术大咖以及加密货币爱好者前来参与。尤为值得一提的是,当日活动参与演讲的项目方带来了多场精彩纷呈的演讲,其中关于 「超越界限的证明:香港 zkNight」 的深入剖析,更是为整场活动增添了浓厚的科技色彩与未来感,激发了现场观众对未来智能互联世界的无限遐想。

接下来,让我们一同沉浸于这场精彩纷呈的活动演讲回顾中,每个项目方的介绍都紧密围绕其核心理念与技术突破,每一句话语都蕴含着惊喜与深刻的行业洞见……

Mirror :开启零知识证明的商业化未来


ZEROBASE 联合创始人兼 CEO /Mirror 以 「零知识证明:速度与合规的边界突破」 为题,为活动揭开序幕。他回顾了自身横跨中美顶尖学府的学术背景及 Salus Security 的实战经验,强调 ZEROBASE 的使命是 「让 ZK 技术从实验室走向万亿级市场」。作为实时 ZK 证明器网络,ZEROBASE 通过毫秒级证明生成与独创的 HUB 环唤醒机制,在确保去中心化的同时满足严苛的监管合规需求,为金融、医疗等高敏场景提供可商用解决方案。他断言:「ZK 不仅是隐私工具,更是下一代商业基础设施的核心引擎。」

Gink :连接技术、资本与生态的纽带

ZEROBASE 的 CMO/Gink  ,凭借其敏锐的行业洞察与灵活的控场能力,巧妙串联起技术讨论与商业实践。他以数据拆解 ZK 赛道的增长潜力,并通过互动环节点燃全场热情 —— 从开发者工具优化到合规框架设计,每一议题均直击行业痛点。作为 ZEROBASE CMO,他多次强调 「技术必须服务于真实需求」,并呼吁资本与开发者共同构建 ZK 生态的 「正向飞轮」。其提问犀利且务实,既剖析技术细节,又聚焦市场落地,成为硬核议题与大众认知间的 「破壁者」,为活动注入强劲的专业性与活力。

BREVIS:智能可验证计算平台,突破区块链性能,赋能高效 DeFi 场景

在活动中,BREVIS 项目代表首先登台,深入介绍了其智能可验证计算平台。该平台凭借链上数据 Zk 协处理器和 Pico 模块化 zkVM,成功突破了区块链的性能限制,为 DeFi 等场景提供了高效、无需信任的计算服务。项目代表还强调了可验证计算在实现复杂计算高效处理中的重要性,并以 VIP 交易者程序为例,生动展示了区块链上计算复杂且昂贵的现状,以及 BREVIS 如何通过创新技术解决这一难题。他还透露,Pico 在性能测试中表现优异,领先竞品,并支持多证明后端,未来还将集成 GPU 加速,进一步提升平台性能。在应用方面,BREVIS 已与多个头部协议展开合作,赋能智能 DeFi 场景。

zkVerify:创新模块化设计降成本,重塑 Web3 ZKP 验证生态

在 「Proof Beyond Boundaries: Hong Kong zkNight」 大会上,zkVerify 代表围绕零知识证明(ZKP)验证的高成本问题展开演讲,提出了创新解决方案。zkVerify 作为模块化区块链系统,旨在重塑 Web3 证明验证生态。当前 ZKP 验证成本高昂,预计市场规模将持续增长。zkVerify 通过模块化设计,实现了降本增效、多链兼容与灵活扩展。其核心能力包括单次验证成本较以太坊降低 91%,验证结果可跨链同步至各 Layer1,且可无缝集成新证明系统。zkVerify 已赋能多个实际用例,并与多家合作伙伴共同推动验证标准化。未来,zkVerify 旨在成为 Web3 验证层基础设施,解锁更多隐私计算场景,构建高效、开放且可扩展的零知识证明生态

Zypher Network:自研 ZK 层赋能无需信任 AI 代理,解锁多元 DApp 场景


Zypher Network 代表也带来了令人瞩目的演讲。他首先介绍了团队中的核心成员 Amber,并称赞其为连接外界的桥梁,再阐述了 Zypher Network 如何通过零知识计算(ZK)层赋能无需信任的 AI 代理与去中心化应用(DApp)。Zypher Network 定位为区块链首个无需信任 AI 代理平台,利用自研 ZK 计算层(如 Proof of Prompt 和 Proof of Inference 技术)保障 AI 代理行为的透明性与数据隐私。其核心技术在不泄露敏感信息的前提下,验证 AI 提示的完整性与推理逻辑的正确性,为金融分析、自动化 DeFi、游戏等场景提供安全基础。平台已集成主流 AI 模型并支持多链生态,应用场景丰富多样,包括基于 Proof of Prompt 的 AI 代理 Alpha Girl 实现 BTC 价格预测、链上扑克游戏 Poking King 利用 ZK 推理验证确保游戏公平性,以及为 DeFi 场景提供透明风控与自动化策略执行的解决方案。生态进展方面,Zypher 已构建庞大社区并集成多家合作伙伴,计划推出 ZK 协处理器、主网及第三方验证网络,并扩展至链上游戏引擎等服务。

展望未来,期待更多创新与应用

展望未来,作为主办方的 ZEROBASE ,我们将继续秉承开放、合作、创新的精神,搭建更多这样的交流平台,推动技术创新与应用拓展。我们相信,随着区块链技术的不断成熟与发展,将涌现出更多优秀创新项目,共同推动区块链技术的融合发展。

作为承办方的 Techub News,我们将持续关注并报道这些前沿技术的最新进展和应用成果,为行业提供有价值的信息与洞见。我们期待在未来的活动中再次与大家相聚,共同见证区块链技术的蓬勃发展。

此外,我们也对参与本次活动的所有嘉宾和项目方表示衷心的感谢。是你们的精彩演讲和深入交流,让本次活动更加丰富多彩、意义深远。我们期待在未来的活动中再次与大家相聚,共同见证区块链和 AI 技术的融合发展之路。

相关文章:

Proof Beyond Boundaries: Hong Kong zkNight 活动精彩回顾

2 月 19 日,随着夜幕的降临,一场汇聚行业智慧与前瞻视野的高端主题活动 ——Proof Beyond Boundaries: Hong Kong zkNight,在香港铜锣湾 Vpoint 的 6/F 盛大启幕。本次活动由 ZEROBASE 主办,Techub News 承办,吸引了众…...

QT零基础学习之路(五)--自定义信号和槽

源码地址(优先更新):点击此处...

Pytorch实现之GIEGAN(生成器信息增强GAN)训练自己的数据集

简介 简介:在训练数据样本之前首先利用VAE来推断潜在空间中不同类的分布,用于后续的训练,并使用它来初始化GAN。与ACGAN和BAGAN不同的是,提出的GIEGAN有一个分类器结构,这个分类器主要判断生成的图像或者样本图像属于哪个类,而鉴别器仅判断图像是来自于生成器还是真实样…...

HTTP 动态报错码的原因和解决方法

目录 1xx(信息性状态码) 2xx(成功状态码) 3xx(重定向状态码) 4xx(客户端错误状态码) 5xx(服务器错误状态码) 参考文章 以下是 HTTP 动态报错码的常见原…...

单核处理器编程会简单很多的原因

乱序执行的本质:单核处理器的乱序执行(Out-of-Order Execution)允许指令动态调度以提升效率,但其核心原则是保持程序语义的单线程正确性。所有指令的最终提交(Retirement)必须严格按照程序顺序完成,以确保异常处理、中断和外部观察结果的正确性。 提交阶段的顺序性:尽管…...

C++之vector和list辨析

std::vector 和 std::list 是 C 标准库中两种常用的容器,它们都用于存储和管理元素集合,但在底层实现和性能特性上有显著的区别。 1. 底层实现 std::vector: 基于动态数组实现。元素在内存中是连续存储的。支持随机访问(通过下标访问元素&a…...

C++ 八股(整理记录)

1. 指针和引用的区别 定义与初始化: 指针:可以声明时不初始化,并且可以在之后指向任何同类型的变量。指针是一个变量,它存储的是另一个变量的地址。 int a 10; int* p; // 声明一个指向int的指针 p &a; // 将p指向变量a的…...

docker部署GPU环境

使用 Docker 部署 GPU 环境涉及到几个关键步骤,以下是详细步骤: 1. 安装 NVIDIA 驱动程序 确保你的系统已经安装了 NVIDIA GPU 驱动。这是使用 GPU 的前提条件。 2. 安装 Docker 和 nvidia-container-toolkit 首先,确保你已经安装了 Docker。然后,安装 NVIDIA Containe…...

单片机裸机编程-时机管理

对于 RTOS 实时操作系统,我们是通过 TASK(任务)进行底层操作的,这与裸机编程中的函数(fun)类似。不同的任务或函数实现不同的功能,在RTOS中,单片机有信号量、队列等不同任务之间的通…...

使用VScode开发STM32:基于CMake(包含标准库和HAL库工程)

使用VScode开发STM32:基于CMake(包含标准库和HAL库工程) 本教程使用VScode作为代码编辑工具、Cmake作为构建系统生成器、Make进行构建系统、使用arm-none-eabi-gcc进行交叉编译、使用OpenOCD作为代码下载与调试工具,最终搭建出适…...

Linux操作与权限2

查看权限控制信息 序号1,表示文件,文件夹权限控制信息 序号2,表示文件,文件夹所属用户 序号3,表示文件,文件夹所属用户组 12345678910d/l/-r/-w/-x/-r/-w/-x/-r/-w/-x/- 权限细节总共分为10个槽位 表格1&…...

解析第十一页

多选707、如图所示组网,SWA、SWB、SWC、SWD运行RSTP,则以下说法正确的是? A、可以在SWB的GE0/0/2端口开启边缘端口,让连接终端的接口快速进入转发状态 B、边缘端口收到BPDU之后会重新参与生成树的计算 C、可以在SWC的GEO/0/2端口开启边缘端口,让连接终端的接口快速进入转…...

SQL之order by盲注

目录 一.order by盲注的原理 二.注入方式 a.布尔盲注 b.时间盲注 三.防御 一.order by盲注的原理 order by子句是用于按指定列排序查询结果,列名或列序号皆可。 order by 后面接的字段或者数字不一样,那么这个数据表的排序就会不同。 order by 盲…...

阻止浏览器的默认缩放机制

在移动端浏览器中,当用户点击输入框(如密码输入框)时,页面可能会自动放大以提高可读性。这种行为通常是由于浏览器的默认缩放机制引起的。要阻止这种自动放大行为,可以采取以下几种方法: 使用 viewport 元…...

python 引用父目录:层级的模块

from pathlib import Path import sys 获取 project 目录 project_dir Path(file).resolve().parent.parent 将 project 目录添加到 sys.path 中 sys.path.append(str(project_dir)) 导入 support 模块 import support support.print_func(“Runoob”)...

实用:查找Linux进程调度统计信息的三个方法

实用:查找Linux进程调度统计信息的三个方法 在现代操作系统中,理解进程调度行为对于优化性能和解决瓶颈问题至关重要。本文将详细介绍如何在Linux系统中获取进程从调度队列中调入(enqueue)和调出(dequeue)…...

以下是自定义针对 Vite + TypeScript 项目的完整路径别名配置流程:

以下是针对 Vite TypeScript 项目的完整路径别名配置流程: 1. 安装必要依赖 bash npm install -D types/node 2. 配置 vite.config.ts typescript // vite.config.ts import { defineConfig } from vite import vue from vitejs/plugin-vue import path from pat…...

基于Matlab实现汽车远近光灯识别的详细步骤及代码示例

以下是一个基于Matlab实现汽车远近光灯识别的详细步骤及代码示例,主要通过图像处理技术来区分远光灯和近光灯。 整体思路 图像预处理:包括读取图像、灰度化、去噪等操作,以提高后续处理的准确性。边缘检测:找出图像中的边缘信息…...

Solidity 开发环境

Solidity 开发环境 Solidity编辑器:Solidity编辑器是⼀种专⻔⽤于编写和编辑Solidity代码的编辑器。常⽤的Solidity编辑器包括 Visual Studio Code、Atom和Sublime Text。以太坊开发环境:以太坊开发环境(Ethereum Development Environment&a…...

Ollama+Cherrystudio+beg-m3+Deepseek R1 32b部署本地私人知识库(2025年2月win11版)

之前综合网络各方面信息得到的配置表: 在信息爆炸的时代,数据安全和个性化需求愈发凸显。搭建本地私人知识库,不仅能确保数据的安全性,还能根据个人需求进行个性化定制,实现知识的高效管理和利用。随着技术的不断发展…...

vue3.0将后端返回的word文件流转换为pdf并导出+html2pdf.js将页面导出为pdf

实现思路 1.将Word文档转换为HTML:mammoth.js,它可以将.docx文件转换为HTML 2.将HTML转换为PDF:使用html2pdf.js将HTML转换为PDF 如果想要相同的效果,也可以把前端页面直接导出转换为pdf: 运用的插件:html2pdf.js 后端…...

【心得】缓存穿透与缓存击穿总是记混,一文从英语单词含义角度分析带你区分清楚!

一句话省流版:缓存穿透的英语为cache penetration,可以翻译为缓存渗透,“渗透”联想到网安的攻击渗透,故缓存穿透是绕过防护进行攻击; 缓存击穿的英语为"cache breakdown",可以翻译为缓存故障,“…...

day02

作业2 为 Activity 设置2种不同的启动模式并通过 adb 命令进行查看任务栈信息,并且打印生命周期方法执行日志 step1:生成第二个Activity和相应配置、 一个是singleTask模式,还一个是mainActivity的默认格式 step2:打印生命周期…...

JavaScript 简单类型与复杂类型-堆和栈

深入理解JavaScript中的简单类型(基本数据类型)与复杂类型(引用数据类型)如何在内存中存储对于编写高效、无误的代码至关重要。本文将探讨这两种类型的差异,以及它们在内存中的存储机制——栈(Stack&#x…...

五、AIGC大模型_04LLaMA-Factory基础知识与SFT实战

1、LLaMA-Factory 基本介绍 1.1 定义 LLaMA-Factory 是一个开源的大型语言模型(LLM)微调框架,旨在帮助开发者和研究人员轻松地对预训练语言模型进行定制化训练和优化 1.2 功能特点 支持多种预训练模型 LLaMA Factory 支持超过 100 种主流的…...

数字IC后端设计实现OCC(On-chip Clock Controller)电路介绍及时钟树综合案例

数字IC后端时钟树综合专题(OCC电路案例分享) 复杂时钟设计时钟树综合(clock tree synthesis)常见20个典型案例 1、什么是OCC? 片上时钟控制器(On-chip Clock Controllers ,OCC),也称为扫描时钟控制器(Scan Clock Con…...

LeetCodehot 力扣热题100 全排列

这段代码的目的是计算给定整数数组的所有全排列(permutations),并返回一个包含所有排列的二维数组。 思路解析 在这段代码中,采用了 深度优先搜索(DFS) 和 回溯 的方法来生成所有的排列。 关键步骤&#xf…...

深度学习c++资源库:vector容器,蓝桥杯常用算法sort,unique(排序+去重)

vector容器 1.基本概念 <vector> 是 STL 中的一个容器类&#xff0c;不同于普通数组的静态空间&#xff0c;vector可以动态扩展。 动态扩展&#xff1a;并不是在原空间连接新空间&#xff0c;而是找到更大的内存空间&#xff0c;将原数据拷贝到新空间&#xff0c;释放…...

Postgresql-重置统计信息(reset statistics)

文章目录 理解 PostgreSQL 中的 pg_stat_resetpg_stat_reset 的作用与使用时机pg_stat_reset 所需权限PostgreSQL 重置统计信息的方法重置整个database重置特定表的统计重置特定function的统计重置Statistics Collector:重置 WAL&#xff08;Write-Ahead Logging&#xff09;统…...

【Uniapp-Vue3】导入uni-id用户体系

在uniapp官网的uniCloud中下载uni-id用户体系 或者直接进入加载&#xff0c;下载地址&#xff1a;uni-id-pages - DCloud 插件市场 进入以后下载插件&#xff0c;打开HbuilderX 选中项目&#xff0c;点击确定 点击跳过 点击合并 右键uniCloud文件夹下的database文件夹&#x…...

【前沿探索篇七】【DeepSeek自动驾驶:端到端决策网络】

第一章 自动驾驶的"感官革命":多模态神经交响乐团 1.1 传感器矩阵的量子纠缠 我们把8路摄像头+4D毫米波雷达+128线激光雷达的融合称为"传感器交响乐",其数据融合公式可以简化为: def sensor_fusion(cam, radar, lidar):# 像素级特征提取 (ResNet-152…...

Staruml软件的介绍安装uml类图的绘制流程

文章目录 1.uml和staruml之间的关系2.软件的安装3.配置脚本语言4.Staruml创建类图4.反向工程 1.uml和staruml之间的关系 这篇文章主要是介绍这个staruml软件的安装和相关的背景介绍&#xff1a; 我和uml初识于IDEA软件&#xff0c;学习java的你一定用过这个软件&#xff0c;当…...

神经网络发展简史:从感知机到通用智能的进化之路

引言 神经网络作为人工智能的核心技术&#xff0c;其发展历程堪称一场人类对生物大脑的致敬与超越。本文将用"模型进化"的视角&#xff0c;梳理神经网络发展的五大关键阶段&#xff0c;结合具象化比喻和经典案例&#xff0c;为读者呈现一幅清晰的AI算法发展图谱。 一…...

快节奏生活

在当今快节奏的商务环境中&#xff0c;效率成为了决定企业竞争力的关键因素之一。亿可达软件连接平台&#xff0c;以其独特的功能和优势&#xff0c;为职场人士带来了前所未有的便捷与高效&#xff0c;成为了众多用户心中的“宝藏”工具。 1、亿可达&#xff1a;自动化流程的搭…...

Windows 11【1001问】通过Rufus制作Win 11系统安装U盘

随着科技的发展&#xff0c;Windows 11 已经成为许多用户的首选操作系统。在之前的几篇文章中&#xff0c;我们详细探讨了 Windows 11 的概念、安装配置要求以及如何下载 Windows 11 镜像文件&#xff0c;并介绍了六种不同的安装方法。本篇博客将聚焦于使用 ISO 文件安装 Windo…...

spring中手写注解开发(创建对象篇)

说明&#xff1a; 在spring底层中并不是我写的如此&#xff0c;这篇只是我用我自己的方式实现了使用注解组件扫描并且 创建对象&#xff0c;方法并不是很难&#xff0c;可以看一看&#xff0c;欢迎大佬评论 第一步&#xff1a; 我们需要自己写一个注解&#xff0c;我用的是idea…...

DeepSeek进入开源周,分享几点关于开源的思考

最近DeepSeek进入开源周&#xff0c;又把差点被大众遗忘在角落的开源话题拉了出来。 作为一个开源作者&#xff0c;也分享几点关于开源的思考。 AI对开源的影响 开源项目遇到的最大困难 开源项目不应该商业化 你的开源项目是垃圾...

大模型训练中的数据不平衡问题及其解决策略

目录 大模型训练中的数据不平衡问题及其解决策略 一、数据不平衡问题的影响 二、处理数据不平衡问题的方法 1. 过采样&#xff08;Oversampling&#xff09; 2. 欠采样&#xff08;Undersampling&#xff09; 3. 代价敏感学习&#xff08;Cost-Sensitive Learning&#xf…...

本地部署DeepSeek R1满血版大模型

一、前言 老周上一篇分享了《本地部署DeepSeek R1大模型》&#xff0c;本地受硬件条件限制&#xff0c;只跑了80亿参数量的模型。 1.5b模型基本可以在大部分个人电脑甚至手机中运行&#xff0c;如果你有 6G 显存以上&#xff0c;那么可以部署7b模型&#xff0c;如果有16G显存&…...

外发抄板SCH与PCB检查系列

外发抄板SCH与PCB检查系列 一、检查到手的文件二、PCB与原理图的对应检查1.为什么要查SCH与Pcbdoc的对应&#xff1f;2.查询方法 三、PCB与实物的信号对应检查 一、检查到手的文件 外发出去两块板子&#xff1a;控制板与功率板。 抄板机构返回的文件&#xff1a; 1.互相独立的…...

EX_25/2/25

编写一个如下场景&#xff1a; 有一个英雄Hero类&#xff0c;私有成员&#xff0c;攻击&#xff0c;防御&#xff0c;速度&#xff0c;生命值&#xff0c;以及所有的set get 方法 编写一个 武器 Weapon 类&#xff0c;拥有私有成员攻击力&#xff0c;以及set get 方法 编写一个…...

C# 打印Word文档 – 4种打印方法

Word文档是日常办公和学习中不可或缺的一部分。比如在商务往来中&#xff0c;经常需要打印 Word 文档用于撰写和传递正式的商务信函、合作协议、项目提案等。打印出来的文档便于双方签字盖章&#xff0c;具有法律效力和正式性。本文将提供以下4种通过C# 打印Word文档的方法&…...

ROS的action通信——实现阶乘运算(一)

在ROS中除了常见的话题(topic&#xff09;通信、服务(server)通信等方式&#xff0c;还有action通信这一方式&#xff0c;由于可以实时反馈任务完成情况&#xff0c;该通信方式被广泛运用于机器人导航等任务中。本文将通过三个小节的分享&#xff0c;实现基于action通信的阶乘运…...

Mac 上安装多版本的 JDK 且实现 自由切换

1.可以通过查看以下目录中的内容&#xff0c;确认当前已经安装的 jdk 版本。 cd /Library/Java/JavaVirtualMachines2.命令行查看 jdk 的安装路径 /usr/libexec/java_home -V3.下载要安装的jdk版本&#xff0c;修改环境变量( cat ~/.bash_profile) # 定义JDK 8和JDK 17的安装路…...

网络编程套接字

目录 一、认识端口号 二、端口号和进程ID 三、TCP/UDP协议 四、网络字节序 五、socket编程接口 5.1socket的常见API 5.2socketaddr结构 六、简单的UDP程序 七、地址转换函数 八、简单的TCP网络程序 九、Tcp协议通讯流程 9.1基于TCP协议的客户端/服务器程序的一般流…...

45.matlab产生正弦叠加信号

&#xff0c;...

Java23种设计模式案例

目录 一、概述 二、创建型模式 (Creational Patterns) 单例模式 (Singleton Pattern) 工厂方法模式 (Factory Method Pattern) 抽象工厂模式 (Abstract Factory Pattern) 建造者模式 (Builder Pattern) 原型模式 (Prototype Pattern) 三、结构型模式 (Structu…...

计算机毕业设计程序,定制开发服务

我们擅长的开发语言包括Python、C、Golang、Java&#xff0c;以及前端技术如HTML、CSS、JS和Vue。我们的服务内容丰富&#xff0c;能够满足您各种需求&#xff0c;无论是简单的功能开发还是复杂的定制项目&#xff0c;我们都能为您提供专业支持。若有具体需求可联系作者。 链接…...

AI提示词的种类与适合的任务

以下是提示词的主要种类及其适用任务&#xff0c;基于大模型特性与最佳实践总结&#xff1a; 一、基础提示词 零样本提示&#xff08;Zero-shot Prompting&#xff09; 形式&#xff1a;直接输入任务指令&#xff0c;不提供示例&#xff08;如“翻译以下句子&#xff1a;Hello …...

【Kimi】自动生成PPT-并支持下载和在线编辑--全部免费

【Kimi】免费生成PPT并免费下载 用了好几个大模型&#xff0c;有些能生成PPT内容&#xff1b; 有些能生成PPT&#xff0c;但下载需要付费&#xff1b; 目前只有Kimi生成的PPT&#xff0c;能选择模板、能在线编辑、能下载&#xff0c;关键全部免费&#xff01; 一、用kimi生成PP…...