Fuel — 一些问题的详细解答
https://fuel-labs.ghost.io/tag/conferences/ 在 3 天(10 月 28 日至 30 日)期间,来自世界各地的黑客聚集在里斯本的 Academia das Ciências 进行黑客攻击。以下是对获奖项目的深入了解。在 3 天(10 月 28 日至 30 日)期间,来自世界各地的黑客聚集在里斯本的Academia das Ciências进行黑客攻击。为此,我们为渴望使用Sway在Fuel Beta-1 测试网络上构建的大胆黑客赞助了 3 项公开赏金:🥇一等奖- $3,000🥈二等奖- $2,000🥉三等奖- $1,000🏆 获胜者 1 Fuel Predicates的工作方式与比特币中支付脚本哈希 (P2SH) 交易的脚本类似。与在智能合约层上实现账户抽象相比,这提供了许多重要的优势:降低 gas 成本,因为签名聚合可以在链下完成,验证可以作为一个步骤完成,无需智能合约函数调用;提高了灵活性,因为可以通过将不同的签名方案实现为链上智能合约库并在谓词中使用它们来交换不同的签名方案;和最小的状态膨胀,因为谓词字节码作为交易验证的一部...

开拓者第二季奖励现已上线!
您等待的时刻到了。恰逢新年,我们与合作伙伴共同努力,让奖励分配变得生动有趣。现在,它来了——享受您应得的奖励吧!您可以立即前往您的 Trailblazers 个人资料页面领取您的奖励! 庆祝我们的开拓者 第 2 季取得了巨大的成功,这要归功于大家的热情参与。现在是时候收获你们的努力成果了。以下是您在 Trailblazers 第 2 季中获得的 Taiko 代币奖励: 🏆 Trailblazers S2 的 TAIKO 代币奖励 🏆 14 级(传奇): 2078.46 13级(传说): 1039.2 12 级(Kodai): 456.98 11级(柱): 201.04 10 级(幕府将军): 100.52 9级(太政II): 67.37 8级(太政一): 58.57 7 级(老师 II): 51.01 6 级(Sensei I): 25.46 第 5 级(武士 II): 11.98 4级(武士I): 5.51 3 级(战士 II): 2.48 第 2 级(战士 I): 1.12 1 级(初始): 1.00 0 级(初学者): 0.00 注意:奖励必须在2 月 3 日 12:0...
读懂 Taiko:EVM 等效的 ZK Rollup
团队介绍Taiko 在今年第一季度推出,由 Loopring 创始人王东和前 Loopring 首席架构师 Brecht Devo 联合创立。Taiko 大多数团队成员都曾在可扩展性和 ZK Rollup 领域工作过。什么是taikotaiko 的目标是成为一个完全等同于以太坊的 ZK Rollup,并通过在技术层面和协议层面以太坊本身的运行方式来扩展以太坊。 ZK Rollups 是通过在链下执行、聚合和证明交易来扩展计算,并依靠以太坊进行数据可用性和有效性证明验证。目前开发中的 ZK Rollups 存在的最大缺点是它们不能完全支持 EVM 的广义计算,而是主要用于特定应用程序,这就导致破坏了现有以太坊 L1 智能合约和 dapp 的兼容性的结果,并且使构建提供相同类型的可组合、体验更好的新合约变得更难。 与以太坊等效的 ZK Rollups,有时也称为 ZK-EVM,因其不会在安全性或兼容性方面妥协,所以被誉为第 2 层扩展解决方案的圣杯。Taiko 的目标就是成为一种 ZK-EVM,它优先考虑的是完美的以太坊 EVM 等效性,而不是 ZK-proof 的生成速度。taik...
专业分享加密知识和撸毛
Fuel — 一些问题的详细解答
https://fuel-labs.ghost.io/tag/conferences/ 在 3 天(10 月 28 日至 30 日)期间,来自世界各地的黑客聚集在里斯本的 Academia das Ciências 进行黑客攻击。以下是对获奖项目的深入了解。在 3 天(10 月 28 日至 30 日)期间,来自世界各地的黑客聚集在里斯本的Academia das Ciências进行黑客攻击。为此,我们为渴望使用Sway在Fuel Beta-1 测试网络上构建的大胆黑客赞助了 3 项公开赏金:🥇一等奖- $3,000🥈二等奖- $2,000🥉三等奖- $1,000🏆 获胜者 1 Fuel Predicates的工作方式与比特币中支付脚本哈希 (P2SH) 交易的脚本类似。与在智能合约层上实现账户抽象相比,这提供了许多重要的优势:降低 gas 成本,因为签名聚合可以在链下完成,验证可以作为一个步骤完成,无需智能合约函数调用;提高了灵活性,因为可以通过将不同的签名方案实现为链上智能合约库并在谓词中使用它们来交换不同的签名方案;和最小的状态膨胀,因为谓词字节码作为交易验证的一部...

开拓者第二季奖励现已上线!
您等待的时刻到了。恰逢新年,我们与合作伙伴共同努力,让奖励分配变得生动有趣。现在,它来了——享受您应得的奖励吧!您可以立即前往您的 Trailblazers 个人资料页面领取您的奖励! 庆祝我们的开拓者 第 2 季取得了巨大的成功,这要归功于大家的热情参与。现在是时候收获你们的努力成果了。以下是您在 Trailblazers 第 2 季中获得的 Taiko 代币奖励: 🏆 Trailblazers S2 的 TAIKO 代币奖励 🏆 14 级(传奇): 2078.46 13级(传说): 1039.2 12 级(Kodai): 456.98 11级(柱): 201.04 10 级(幕府将军): 100.52 9级(太政II): 67.37 8级(太政一): 58.57 7 级(老师 II): 51.01 6 级(Sensei I): 25.46 第 5 级(武士 II): 11.98 4级(武士I): 5.51 3 级(战士 II): 2.48 第 2 级(战士 I): 1.12 1 级(初始): 1.00 0 级(初学者): 0.00 注意:奖励必须在2 月 3 日 12:0...
读懂 Taiko:EVM 等效的 ZK Rollup
团队介绍Taiko 在今年第一季度推出,由 Loopring 创始人王东和前 Loopring 首席架构师 Brecht Devo 联合创立。Taiko 大多数团队成员都曾在可扩展性和 ZK Rollup 领域工作过。什么是taikotaiko 的目标是成为一个完全等同于以太坊的 ZK Rollup,并通过在技术层面和协议层面以太坊本身的运行方式来扩展以太坊。 ZK Rollups 是通过在链下执行、聚合和证明交易来扩展计算,并依靠以太坊进行数据可用性和有效性证明验证。目前开发中的 ZK Rollups 存在的最大缺点是它们不能完全支持 EVM 的广义计算,而是主要用于特定应用程序,这就导致破坏了现有以太坊 L1 智能合约和 dapp 的兼容性的结果,并且使构建提供相同类型的可组合、体验更好的新合约变得更难。 与以太坊等效的 ZK Rollups,有时也称为 ZK-EVM,因其不会在安全性或兼容性方面妥协,所以被誉为第 2 层扩展解决方案的圣杯。Taiko 的目标就是成为一种 ZK-EVM,它优先考虑的是完美的以太坊 EVM 等效性,而不是 ZK-proof 的生成速度。taik...
专业分享加密知识和撸毛

Subscribe to fen yun

Subscribe to fen yun
Share Dialog
Share Dialog


<100 subscribers
<100 subscribers
这是 ZK-Roller-Coaster 的第 11 版,我们在此跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。
特别感谢第 11 版的贡献者:Alexander B.、Thisu、Hlpr。
免责声明:这是推文、文字、视频和其他材料的集合;这些并不代表我们的意见,也不一定准确。请进行(或继续)您自己的研究。
紧紧抓住!🎢
ZK-EVM 战争正在进行中!
这次Polygon Zero在推特上指责zksync“最近发布的Boojum库的重要部分——由zksync背后的团队Matter Labs开发——是从Polygon Labs开发的Plonky2证明系统复制粘贴的。Plonky2 是开源的,但 Matter Labs 没有给出适当的归属。” zksync联合创始人Alex回复针对 Polygon 的投诉,声称“今天的指控毫无根据、具有误导性,并且来自我高度尊敬的团队,令人极其失望”,并提供了事实“Plonky2 和 Boojum 都是 RedShift 结构 (PLONK + FRI) 的实现”,并且 RedShift 是由Plonky2 之前的 Matter Labs 团队,“只有 ~5% 的 Boojum 代码是基于 Plonky2 的代码”,“对于重用的代码,在模块主文件的第 1 行中提供了明确的归属”等。
关于欺诈证明的激烈争论!
TL;DR “如果您想优先考虑需要数年时间来构建证明者的路线图,则不必启动汇总。” 乐观主义欺诈证明了其他汇总和扩展解决方案的 缺失,受到了巨大的批评。核心问题是(i)他们是否会建立一个证明者(即添加欺诈证明),(ii)没有欺诈证明的乐观汇总是不安全的,但他们正在扩大营销规模,推出像 Base(由 Coinbase 推出)这样的汇总,最终结束也变得没有安全感。
Twitter 帖子“ L1DELEGATECALL 也有助于连接 L1 和 L2,并使其看起来更像是单个并行执行环境。” 布莱希·德沃斯着。
PSE 团队发布了p0tion V1,这是一个用于简化 Groth16 zk 应用程序开发的新工具包。目标是使第二阶段的可信设置仪式更加高效和可扩展。
jaosef.eth 的Twitter 帖子“ BLS Training Wheels — 通过共识缓解 ZK 错误”。
Aztec为 Noir开发了一个工具,可以在浏览器上进行验证。
一篇文章“Rollups 是真实的”。由 davidecrapis.eth 提供。
Twitter 帖子“ Rollups-as-a-Service 将归零。” 尼尔.
一条推特线程包裹着推特空间“去中心化且无需许可的证明设计”作者:Lisa A. | 机器人。
引入乐观/ZK 混合验证燃料。
=无;正在构建一个解决方案,以确保 Lido Finance 使用 zkOracle 抵押以太坊的流动性,从而实现对 EVM 历史数据的无需信任的数据访问。
RISC Zero即将登陆以太坊。
Fluent:以太坊的 zkWASM 执行层。
检查reorg.pics仪表板,它提供了重组和所涉及实体的更清晰概述 - 例如 CL 客户端、验证器、中继器和构建器。
dannyryan 的研究报告“液体质押衍生品不能安全地超过共识阈值”。
Mike Neuder 发表的ethresearch 帖子“没有免费的午餐——新的包含列表设计”。
Fireblocks 研究团队发现了BitForge,这是一些最广泛采用的 MPC 协议中的一组漏洞,允许攻击者从单个设备检索私钥。
PayPal在最新的加密支付推动中推出了稳定币。
机会和活动🏄♀️
LambdaClass 为期3 个月的在线密码学实习生计划。申请现已开放!
阿兹特克赠款第三波已宣布。
11 月 16 日至 17 日,可编程密码学会议,作为 PSE 和 0xPARC Devconnect 的一部分。
9 月 22 日至 24 日,ETHGlobal 纽约黑客马拉松。
9 月 21 日, Aztec 在伦敦举行的zkSummit:使用 Aztec 的 Layer2 zk-rollup 进行实践学习和构建。
一般的
采访Arbitrum 团队,了解他们的新 BOLD 协议。
播客“Rust 内存安全的奥秘、无所畏惧的并发性,以及它为何成为 Aleph Zero 区块链的支柱。”
Zcash播客回顾了巴塞罗那#Zcon4 会议。
采访John Reynolds,内容涉及在不牺牲隐私的情况下使用区块链技术、应用程序如何更加私密,以及他们通往 Aleo 主网的道路。
一篇文章“ZK 证明的生命周期”。
Twitter Spaces“去中心化且无需许可的证明设计”的录音。
Vitalik 的“Seen and Unseen 播客”的一集。
Zeroknowledge.fm播客第 288 集:Or Sattath 的量子密码学。
奇特的数学和密码学
Abhiram Kothapalli 和 Srinath Setty 发表了一篇新的折叠论文“CycleFold:椭圆曲线循环上基于折叠方案的递归论证”。
Spark 使用的内存检查过程的可视化解释器,Moodle zoup 的 Spartan 稀疏多项式承诺方案(在 Lasso 中使用)。
Nova 对 sha256 的折叠性能被其他人复制(即不是由论文作者复制)。
波特的抽搐流“攻击哈希函数”。
Nat Bunner 对折叠/累积方案以及这些结构如何关联的注释。
Srinath Setty、Arasu Arun、Justin Thaler 和 Riad Wahby 撰写的两篇新论文Lasso(一种具有更快证明器的新查找参数)和 Jolt(基于 Lasso 构建,提供 zkVM 设计的新范例)。
Conor McMenamin 发表的关于跨域 MEV 的新论文。
Thomas Decru、Luciano Maino 和 Antonio Sanso 发表了一篇新论文“走向抗量子弱可验证延迟函数”。
Fede 的实习生想知道:是否有人在生产中使用 Nova 或衍生品?我有兴趣知道什么是拦截器。
感谢您阅读第 11 版 ZK-Roller-Coaster。两周后见!🚵♀️
探索我们的招聘网站上的空缺职位。
从 Taiko 获取最新信息:
网站:https: //taiko.xyz。
不和谐: https: //discord.gg/taikoxyz。
GitHub: https: //github.com/taikoxyz。
推特:https: //twitter.com/taikoxyz。
社区论坛:https ://community.taiko.xyz 。
在 GitHub 上为 Taiko 做出贡献并获得 GitPOAP!您还将成为我们自述文件的贡献者。开始使用贡献手册。
这是 ZK-Roller-Coaster 的第 11 版,我们在此跟踪和调查前两周最令人兴奋、最有意义、最疯狂的 ZK 内容。
特别感谢第 11 版的贡献者:Alexander B.、Thisu、Hlpr。
免责声明:这是推文、文字、视频和其他材料的集合;这些并不代表我们的意见,也不一定准确。请进行(或继续)您自己的研究。
紧紧抓住!🎢
ZK-EVM 战争正在进行中!
这次Polygon Zero在推特上指责zksync“最近发布的Boojum库的重要部分——由zksync背后的团队Matter Labs开发——是从Polygon Labs开发的Plonky2证明系统复制粘贴的。Plonky2 是开源的,但 Matter Labs 没有给出适当的归属。” zksync联合创始人Alex回复针对 Polygon 的投诉,声称“今天的指控毫无根据、具有误导性,并且来自我高度尊敬的团队,令人极其失望”,并提供了事实“Plonky2 和 Boojum 都是 RedShift 结构 (PLONK + FRI) 的实现”,并且 RedShift 是由Plonky2 之前的 Matter Labs 团队,“只有 ~5% 的 Boojum 代码是基于 Plonky2 的代码”,“对于重用的代码,在模块主文件的第 1 行中提供了明确的归属”等。
关于欺诈证明的激烈争论!
TL;DR “如果您想优先考虑需要数年时间来构建证明者的路线图,则不必启动汇总。” 乐观主义欺诈证明了其他汇总和扩展解决方案的 缺失,受到了巨大的批评。核心问题是(i)他们是否会建立一个证明者(即添加欺诈证明),(ii)没有欺诈证明的乐观汇总是不安全的,但他们正在扩大营销规模,推出像 Base(由 Coinbase 推出)这样的汇总,最终结束也变得没有安全感。
Twitter 帖子“ L1DELEGATECALL 也有助于连接 L1 和 L2,并使其看起来更像是单个并行执行环境。” 布莱希·德沃斯着。
PSE 团队发布了p0tion V1,这是一个用于简化 Groth16 zk 应用程序开发的新工具包。目标是使第二阶段的可信设置仪式更加高效和可扩展。
jaosef.eth 的Twitter 帖子“ BLS Training Wheels — 通过共识缓解 ZK 错误”。
Aztec为 Noir开发了一个工具,可以在浏览器上进行验证。
一篇文章“Rollups 是真实的”。由 davidecrapis.eth 提供。
Twitter 帖子“ Rollups-as-a-Service 将归零。” 尼尔.
一条推特线程包裹着推特空间“去中心化且无需许可的证明设计”作者:Lisa A. | 机器人。
引入乐观/ZK 混合验证燃料。
=无;正在构建一个解决方案,以确保 Lido Finance 使用 zkOracle 抵押以太坊的流动性,从而实现对 EVM 历史数据的无需信任的数据访问。
RISC Zero即将登陆以太坊。
Fluent:以太坊的 zkWASM 执行层。
检查reorg.pics仪表板,它提供了重组和所涉及实体的更清晰概述 - 例如 CL 客户端、验证器、中继器和构建器。
dannyryan 的研究报告“液体质押衍生品不能安全地超过共识阈值”。
Mike Neuder 发表的ethresearch 帖子“没有免费的午餐——新的包含列表设计”。
Fireblocks 研究团队发现了BitForge,这是一些最广泛采用的 MPC 协议中的一组漏洞,允许攻击者从单个设备检索私钥。
PayPal在最新的加密支付推动中推出了稳定币。
机会和活动🏄♀️
LambdaClass 为期3 个月的在线密码学实习生计划。申请现已开放!
阿兹特克赠款第三波已宣布。
11 月 16 日至 17 日,可编程密码学会议,作为 PSE 和 0xPARC Devconnect 的一部分。
9 月 22 日至 24 日,ETHGlobal 纽约黑客马拉松。
9 月 21 日, Aztec 在伦敦举行的zkSummit:使用 Aztec 的 Layer2 zk-rollup 进行实践学习和构建。
一般的
采访Arbitrum 团队,了解他们的新 BOLD 协议。
播客“Rust 内存安全的奥秘、无所畏惧的并发性,以及它为何成为 Aleph Zero 区块链的支柱。”
Zcash播客回顾了巴塞罗那#Zcon4 会议。
采访John Reynolds,内容涉及在不牺牲隐私的情况下使用区块链技术、应用程序如何更加私密,以及他们通往 Aleo 主网的道路。
一篇文章“ZK 证明的生命周期”。
Twitter Spaces“去中心化且无需许可的证明设计”的录音。
Vitalik 的“Seen and Unseen 播客”的一集。
Zeroknowledge.fm播客第 288 集:Or Sattath 的量子密码学。
奇特的数学和密码学
Abhiram Kothapalli 和 Srinath Setty 发表了一篇新的折叠论文“CycleFold:椭圆曲线循环上基于折叠方案的递归论证”。
Spark 使用的内存检查过程的可视化解释器,Moodle zoup 的 Spartan 稀疏多项式承诺方案(在 Lasso 中使用)。
Nova 对 sha256 的折叠性能被其他人复制(即不是由论文作者复制)。
波特的抽搐流“攻击哈希函数”。
Nat Bunner 对折叠/累积方案以及这些结构如何关联的注释。
Srinath Setty、Arasu Arun、Justin Thaler 和 Riad Wahby 撰写的两篇新论文Lasso(一种具有更快证明器的新查找参数)和 Jolt(基于 Lasso 构建,提供 zkVM 设计的新范例)。
Conor McMenamin 发表的关于跨域 MEV 的新论文。
Thomas Decru、Luciano Maino 和 Antonio Sanso 发表了一篇新论文“走向抗量子弱可验证延迟函数”。
Fede 的实习生想知道:是否有人在生产中使用 Nova 或衍生品?我有兴趣知道什么是拦截器。
感谢您阅读第 11 版 ZK-Roller-Coaster。两周后见!🚵♀️
探索我们的招聘网站上的空缺职位。
从 Taiko 获取最新信息:
网站:https: //taiko.xyz。
不和谐: https: //discord.gg/taikoxyz。
GitHub: https: //github.com/taikoxyz。
推特:https: //twitter.com/taikoxyz。
社区论坛:https ://community.taiko.xyz 。
在 GitHub 上为 Taiko 做出贡献并获得 GitPOAP!您还将成为我们自述文件的贡献者。开始使用贡献手册。
波特的抽搐流“基于身份的加密”。
Dankrad Feist 的文章“ SUMCHECK Quickie”。
一篇文章“折叠的不完整指南:Nova、Sangria、SuperNova、HyperNova、Protostar”。作者:Lisa A. | bot.
波特的抽搐流“基于身份的加密”。
Dankrad Feist 的文章“ SUMCHECK Quickie”。
一篇文章“折叠的不完整指南:Nova、Sangria、SuperNova、HyperNova、Protostar”。作者:Lisa A. | bot.
No activity yet