Brevis:基于零知识证明的链下计算引擎,智能合约新突破 Brevis:主打“无限计算层”概念的“智能引擎”项目简介能够让智能合约“更聪明”,从被动执行转向主动计算,既节省计算成本,又提高计算效率,进而方便用户与协议交互、资产沉淀并提升协议采用普及率。 WEB3快讯# Brevis# 智能合约# 融资 6个月前200
Linea和Hyperliquid代币大额解锁 价值466万美元与1210美元 本次解锁数量:13.8亿枚本次解锁金额:约466万美元它允许开发者部署任何智能合约,使用任何工具,并像在以太坊上构建一样进行开发。本次解锁数量:33万枚本次解锁金额:约1210美元是一条高性能区块链... WEB3快讯# Hyperliquid# Linea# zk-rollup 3周前90
以太坊价值新观点:从‘世界计算机’到‘公共公告板’的转变 在很多人的传统认知里,以太坊的核心定位一直是「世界计算机」或「全球结算层」。密码学意义上、全球共享的「公共公告板」。「世界计算机」是一个从内部视角出发的叙事,问的是「我们的技术能做什么」,而「公告板... WEB3快讯# VitalikButerin# 以太坊# 价值观点 1个月前60
Dragonfly Capital合伙人:加密货币应服务AI代币而非人类 银行体系是适配人类的,但加密货币则不然。从这个角度来说,加密货币是一套自洽、完全可读、完全确定的金钱产权系统。传统货币体系只承认人类、企业和政府是金钱的合法持有者。当代理能够自主发现其他代理并进入经济... WEB3快讯# AI代币# DragonflyCapital# HaseebQureshi 2个月前60
AI审计智能合约:能防经典漏洞,复杂逻辑还得靠人 等智能合约语言,也能识别重入攻击、整数溢出等具有明显代码特征的经典漏洞。审计最占优势的场景——训练数据里这类标准代币合约非常多,规则性的漏洞特征也比较明显。的审计能力在于局部代码的模式识别,而协议级漏... WEB3快讯# AI审计# Skill机制# 形式化验证 1周前30