宇宙链 宇宙链
Ctrl+D收藏宇宙链

Vitalik:感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找

作者:

区块链

时间:2024/2/19 8:20:09

金色财经报道,以太坊联合创始人Vitalik Buterin在社交媒体上称,让我感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找。目前,以太坊最大的技术风险可能就是代码中的错误,任何能够显著改变这一游戏规则的技术都将令人惊叹。

其它快讯:

Vitalik:在以太坊协议中“封装”某些功能是合理的,可遵循最小可行封装路线:9月30日消息,以太坊联合创始人Vitalik Buterin发文探讨“以太坊是否应该在协议中‘封装’更多内容”。文章指出,创建极简的软件,可以很容易地适应用户的不同需求,避免软件膨胀的诅咒。然而,区块链不是个人计算操作系统,而是社会系统。这意味着在协议中封装某些功能是合理的。

在许多情况下,这些其他的例子与我们在帐户抽象中看到的类似。但我们也学到了一些新的教训:

-封装功能可以帮助避免堆栈中其他区域的中心化风险;

-封装太多内容,可能会过度扩大协议的信任和治理负担;

-封装太多内容可能会使协议过于复杂;

-长期来看,封装功能可能会适得其反,因为用户的需求是不可预测的。

此外,流动性质押、ZK-EVM和预编译案例显示了一条中间道路的可能性:最小可行封装(minimal viable enshrinement)。协议不需要封装整个功能,而可以包含解决关键挑战的特定部分,使该功能易于实现,而不会过于偏执或过于狭隘。这样的例子包括:

-与其封装一个完整的流动性质押系统,不如改变质押惩罚规则,让去信任流动性质押更可行;

-与其封装更多的预编译器,不如封装EVM-MAX和/或SIMD,以使更广泛的操作类别更容易有效地实现;

-可以简单地封装EVM验证,而不是封装rollups的整个概念。[2023/10/1 12:28:36]

元宇宙基础设施提供商MetaGravity完成950万美元融资:金色财经报道,元宇宙基础设施提供商MetaGravity完成950万美元种子轮融资,本轮融资由Sino Global、Spartan Group LLC、Market One Capital等参投,本轮融资资金将用于扩大其工程和产品团队,以开发支持未来大规模虚拟宇宙体验所需的基础设施层。[2023/4/21 14:17:58]

Laevitas完成250万美元融资,三箭资本和DeFiance Capital领投:6月2日消息,专注于加密衍生品的数据分析平台Laevitas宣布完成250万美元种子轮融资,本轮融资由三箭资本和DeFiance Capital领投,CMS、Astronaut Capital等参投。

本轮融资资金将用于Laevitas扩展其对加密衍生品市场的分析和研究套件,并在DeFi衍生品、期权定价和风险管理等领域提供全面的分析工具。Laevitas于2021年初推出,目前为超2000名日活用户以及若干对冲基金、做市商和交易公司提供加密期货和期权市场的详细数据分析。[2022/6/2 3:58:45]

相关资讯
NULS主网v2.19.0已正式发布,将进行强制性更新

金色财经报道,据官方消息,可定制区块链基础设施NULS主网最新版本v2.19.0已于2024年2月19日1:00(UTC+8)发布,新协议将于80%主网节点完成更新后生效。据悉,新版本将优化链管理功能和命令行处理逻辑...

区块链:2024/2/19 9:30:03
本周 AVAX、ID 和 DYDX等代币将迎来一次性大额解锁,总价值超4亿美元

金色财经报道,Token Unlocks 数据显示,本周 AVAX、ID 和 DYDX 等代币将迎来一次性大额解锁,总计释放价值超 4 亿美元。其中: AVAX(Avalanche)将于 2 月 22 日 ...

区块链:2024/2/19 9:30:01
VeeFriends与Menswear Dog达成合作拟推出RWA实物商品

金色财经报道,NFT项目VeeFriends宣布已与时尚品牌Menswear Dog达成合作拟推出RWA实物商品,包括推出以Bodhi和VeeFriends NFT角色Dapper Dachshund为主题的独家限量...

区块链:2024/2/19 9:18:15
Andrew Kang:上个周期在很多项目上都获得8位数的利润

2月19日消息,加密风险投资公司 Mechanism Capital 联合创始人兼合伙人 Andrew Kang 发文称,2018 年我拥有价值 5 万美元的投资组合,而到了 2021 年中期,我将这个投资组合发展到...

区块链:2024/2/19 9:12:07
Analysoor:首个外部项目铸造将于2月21日20:00进行

金色财经报道,Solana生态协议Analysoor发文称,首个外部项目铸造将推迟至2月21日20:00进行。作为对延迟的承诺,将从协议创始人的财库中捐赠10,000美元给慈善机构,并销毁21,000个ZERO代币。...

区块链:2024/2/19 9:00:17
数据:比特币和股票似乎领先于美联储的降息决定

金色财经报道,根据IntoTheBlock数据,比特币和股票似乎领先于美联储的降息决定。由于相关性达到两个月来最高,投资者显然看好降息宜早不宜迟。 其它快讯: 数据:Alameda持有NFT价值17....

区块链:2024/2/19 8:42:56
Vitalik:非常期待Verkle树,它们将启用无状态验证器客户端

金色财经报道,以太坊联合创始人Vitalik Buterin在社交媒体上称,我非常期待Verkle树,它们将启用无状态验证器客户端,这可以允许质押节点以接近零的硬盘空间运行并几乎立即同步,这将大大改善单独质押的用户体...

区块链:2024/2/19 8:08:26
《富爸爸穷爸爸》作者:到2024年6月比特币将达到10万美元

金色财经报道,《富爸爸穷爸爸》的作者罗伯特·清崎(Robert Kiyosaki)在社交媒体上称,到2024年6月,比特币将达到10万美元。 其它快讯: 《富爸爸穷爸爸》作者:BTC、黄金和白银价格在...

区块链:2024/2/19 7:51:07
金色晨讯 | 2月19日隔夜重要动态一览

21:00-7:00关键词:BounceBit、Coinbase、FixedFloat 1. BounceBit:预计将于4月份启动主网; 2. Y Combinator:希望资助稳定币相关初创公...

区块链:2024/2/19 7:39:26
VanEck顾问:比特币和POW支持的系统能阻止AI发起的垃圾邮件攻击

金色财经报道,VanEck顾问Gabor Gurbacs在X平台表示,人工智能(AI)正在发起世界上有史以来最严重的垃圾邮件攻击,只有比特币和POW支持的系统才能阻止它,但现在明白这一点的人很少。 其它快讯:...

区块链:2024/2/19 7:05:33
数据:SHIB代币采用率跃升至39.27%

金色财经报道,根据IntoTheBlock数据,Shiba Inu(SHIB)的新用户数量正在增加,SHIB代币采用率(计算当天执行第一笔交易的新地址占所有活跃地址的百分比)在2月17日跃升至39.27%。这意味着每...

区块链:2024/2/19 6:59:17
Wormhole基金会正与Succinct合作开发以太坊ZK轻客户端

金色财经报道,跨链消息协议Wormhole背后团队Wormhole基金会表示,正在与Succinct团队合作构建以太坊ZK轻客户端,以进一步推进在Wormhole平台内去中心化消息验证。开发人员正在利用Wormhol...

区块链:2024/2/19 6:47:35