Web3 极客日报 #1137
2023-03-04 15:32
Rebase 社区
2023-03-04 15:32
订阅此专栏
收藏此文章

微信不支持外部链接,可以点击文章底部的阅读原文 ,方便阅读文中的链接,也可通过 https://daily.rebase.network/ 浏览每期日报内容。

Proving universal machine executions without universal circuits


https://eprint.iacr.org/2022/1758


Dream一种新的递归证明系统,用于在具有特定指令集(如 EVM、RISC-V)的有状态机器上逐步生成程序正确执行的简洁证明。SuperNova 的一个显著特点是,证明程序步骤的成本仅与表示程序步骤调用的指令的电路的大小成比例。这与使用通用电路的现有工作截然不同,其中证明程序步骤的成本至少与表示每个支持的指令的电路大小之和成比例,即使特定的程序步骤仅调用支持的指令之一。当然,SuperNova 可以支持丰富的指令集,而不会影响每一步的证明成本。SuperNova 通过构建先前的高速递归证明系统 Nova,并以新的方式利用其内部构建块、折叠方案来实现其成本概况。

musclewiki


https://musclewiki.com/


Caos该网站是一个健身参考网站, 你可以选择你想要锻炼的部位,然后看可以如何训练,视频指导非常清晰

AA 周报第二期


https://mirror.xyz/skyhighfeng.eth/4JV5QJINxzOBR3qtUEcgyG8DC3kHS2O4JWsZ83cDdqc


昊暠 skyh一份关于 account abstraction 的周报,整合了时下最新有关 account abstraction 的 新闻 / 应用 / 黑客松与讨论



Web3 极客日报是为 Web3 时代的极客们准备的日常读物,由一群极客协作完成,每天更新,每期包含三个推荐内容,都来自极客们各自关注的领域。每晚由 Rebase 志愿者整理发出。若有意参与内容贡献,请添加微信 ljyxxzj 并注明日报贡献。



网站:https://rebase.network

公众号:rebase_network




相关Wiki

【免责声明】市场有风险,投资需谨慎。本文不构成投资建议,用户应考虑本文中的任何意见、观点或结论是否符合其特定状况。据此投资,责任自负。

Rebase 社区
数据请求中
查看更多

推荐专栏

数据请求中
在 App 打开