找到约 15 条结果

视频 第二部分:EIP 7702 在 EVM(revm)中的完整代码讲解

视频主要讨论了以太坊改进提案EIP-7702的实现细节,特别是在Revm(以太坊虚拟机的一个实现)中的代码变化。EIP-7702引入了一种新的交易类型,允许外部拥有账户(EOA)升级为智能账户,并包含授权列表。 **核心内容概括:** 1. ...

文章 如何在Stacks区块链上创建和部署Clarity智能合约

...- IDE 或文本编辑器(我们推荐 [VSCode](https://code.visualstudio.com/docs/setup/setup-overview)) - Hiro Web 钱包(了解更多关于安装的信息 [这里](https://www.hiro.so/wallet-faq/how-do-i-install-and-run-the-stacks-wallet)) - STX 测试网代币(你可以在这个 [水...

文章 本地搭建和测试zkLogin零知识证明服务 @SUI Move开发必知必会

...e`(用于大文件版本控制的开源 Git 扩展) https://git-lfs.com/ ```bash apt/deb: sudo apt-get install git-lfs yum/rpm: sudo yum install git-lfs ``` ### 2.2 下载证明密钥文件 > 下载`Groth16`证明密钥`zkey`文件,稍后将其用作运行`prover`的参数 ...

文章 Rollup的现在和将来

...目前这只是一条路,但很有希望。 Source:https://medium.com/coinmonks/ethereum-a-beginner-ish-guide-to-rollups-eb854b0c3f5a ### **关于** **ChinaDeFi** - ChinaDeFi.com 是一个研究驱动的DeFi创新组织,同时我们也是区块链开发团队。每天从全球超过50...

文章 多项式承诺通过 Pedersen 承诺实现

...证明者可以通过它说服验证者多项式 p(x) 在点 x 的评估 y=p(x),而不披露任何关于 p(x) 的信息。过程如下: 1. 证明者向验证者发送一个承诺 C,"锁定"他们的多项式。 2. 验证者回复一个他们希望对多项式进行评估的值 u。 3. 证...

文章 基于凸优化构建 AMM 路由求解算法

...的 AMM 路由求解器,代码仓库为 [CFMMRouter.jl](https://github.com/bcc-research/CFMMRouter.jl),值得注意的是,该软件的 [文档](https://bcc-research.github.io/CFMMRouter.jl/dev/) 也是编写本文的重要参考,推荐读者阅读。 为了方便读者理解后文内容,...

文章 Uniswap 🔀 测试

...j7NmeUudTPw.png) 注意:用你的个人 [Alchemy](https://www.alchemy.com/) API 密钥替换 URL 中的 `` 部分。 ## 3\. 编写交换的智能合约 创建合约、脚本和测试的目录以更好地组织代码。 在你的 CLI 中使用以下代码。 ``` mkdir contracts && m...

文章 WE-KZG:加密到KZG - ZKSECURITY

...一个见证加密方案, 即 KZG 承诺的打开证明: ``` R={(x=(com,x,y),w=π)∣Verify(com,x,y,π)=1} ``` 换句话说:你可以加密到一个 KZG 承诺和一个 “求值声明” (com,x,y), 只有当解密者知道一个有效的 KZG 打开证明 π 时才能解密,即承诺“...

文章 雪绒花互操作性活动回顾

...些设计讨论,源于一个[交易池设计提案](https://gist.github.com/karalabe/e1c4e4c2a226926498cc9816d383cecb)。关于是否允许 "blobless" 4844 交易,以及区块和 blob 应该如何[耦合以进行 gossip](https://hackmd.io/cmYisgxkRuGe9NjX4gr97A?view)以及如何编码这些交...

文章 深入探究多断言机的 DLC

> _作者:Nadav Kohen_ > > _来源: [https://suredbits.com/multi-oracle-dlc-deep-dive/](https://suredbits.com/multi-oracle-dlc-deep-dive/)_ ![Discreet Log Contracts](https://img.learnblockchain.cn/2025/07/14/Discreet-Log-Contracts_1200x675-scaled.jpg) 几周以前,我们 [宣布](https://sur...

文章 进阶篇-泛型数据类型

... Compiling generics v0.1.0 (/rust/projects/generics) error[E0369]: binary operation `>` cannot be applied to type `&T` --> src/main.rs:4:17 | 4 | if item > largest { | ---- ^ ------- &T | | | &T | help: consider restricting type paramete...

文章 Kusama系列:如何进行链上治理

...(SegWit,BIP141及后续相关的BIP)升级过程](https://link.zhihu.com/?target=https%3A//bitcoinmagazine.com/articles/long-road-segwit-how-bitcoins-biggest-protocol-upgrade-became-reality)中,各方势力的角逐如同一场没有硝烟的战争,最终分叉成为两个网络。在这...

视频 以太坊Layer2扩容方案

AI 总结: 视频主要讨论了以太坊面临的扩展性问题以及现有的Layer 2解决方案,包括 Optimistic Rollup 和ZK Rollup等技术。讲师还介绍了模块化区块链的概念以及不同Layer 2方案的特点和优缺点。 1、课程介绍与以太坊扩展性问题 ...

文章 零知识 QAP问题的转化

原文:[Quadratic Arithmetic Programs: from Zero to Hero](https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649)简介:本文是Vitalik写于2016年12月,用于介绍零知识证明的数学实现方式的论文。文章思路清晰,通俗易懂,...

文章 介绍Boundless:可验证计算层

![Introducing Boundless: The Verifiable Compute Layer](https://risczero.com/_next/image?url=https%3A%2F%2Fwww.notion.so%2Fimage%2Fhttps%253A%252F%252Fprod-files-secure.s3.us-west-2.amazonaws.com%252F80d2ba52-e0eb-4864-9603-a53e69a49dcc%252Fdf5cee5c-4b4f-4bab-98cf-c66f46da67dd%252FZK_is_Broken_(15).p...