...不行。原因就在于，EVM的状态改变是需要成本而且是有gas限制的，如果遍历的用户特别多，就会造成gas耗尽，导致失败。 ### 换个思路 既然不能用循环，那么能不能根据最后一次奖励的时间和第一次质押的时间计算总奖励呢...
 零知识证明因将令人难以置信的安全性压缩到微小的证明中而闻名，但它们实际上是如何做到这一点的呢？ 秘密在于**内积论证 (IPA)**，它是 Bulletproofs 背后的数学引擎。 在...
*这几天学习了 绕过合约检查攻击 并深入理解了delegatecall* ## 绕过合约检查攻击（Bypassing Contract Check Attack） ``` 原理： 一些合约会在函数里面检查msg.sender是否为一个合约地址，通过extcodesize > 0,如果大于0，则为一个合约地...
 零知识证明以在微小的证明中封装惊人的安全性而闻名，但它们实际上是如何实现的呢？ 秘密在于**内积参数 (IPA)**，这是 Bulletproofs 背后的数学引擎。 在这篇文章中，我们...
## 背景 作者在搬[groth16](https://learnblockchain.cn/article/3835)上链的项目里需要用到一些椭圆曲线上的秘密随机点(自然也可以把它当作root生成随机数)，需要用到MPC计算生成。记录一下算法和思路，加密部分使用bls12-381加密库。 ##...
...tr.how/zh/zaps%EF%BC%8C%E7%BD%91%E9%A1%B5%E4%B8%AD%E8%AF%A6%E7%BB%86%E8%A7%A3%E9%87%8A%E4%BA%86%E6%93%8D%E4%BD%9C%E6%AD%A5%E9%AA%A4%E3%80%82) 在资产发行方面，比特币一层的资产发行协议 Taproot Assets（TAP）与闪电网络兼容，可以将 Taproot 资产和比特币的最小...
....png](https://img.learnblockchain.cn/attachments/2023/06/qQQ9zqx7649c04f779a3c.png) **出品：DODO Research** **作者：dt** **编辑：Lisa** $\,$ >**本周 #Megascope 涵盖以下内容**： $\,$ 1）Arbitrum 推出 Arbitrum Orbit L3 开发工具 2）zkSync 推出模块化...
...椭圆曲线点来防止伪造证明。 ### 前提条件 本文是[RareSkills Book of Zero Knowledge Proofs](https://learnblockchain.cn/article/11351)中的一章。假设你已熟悉之前的章节。 ### 表示法 我们将属于$\mathbb{G}_1$椭圆曲线群的一个[椭圆曲线点](h...
...评估二次算术程序 在可信设置下评估 [二次算术程序 (QAP)](https://learnblockchain.cn/article/11314) 使得 prover 可以证明 QAP 被满足，而不泄露见证，同时使用固定大小的证明。 具体来说，QAP 多项式在一个未知点 $\tau$ 处被评估。QAP ...
...ainnet.infura.io/v3/YOUR_PROJECT_ID" address := "0x742d35Cc6634C0532925a3b844Bc454e4438f44e" result, err := callRPC(url, "eth_getBalance", []interface{}{address, "latest"}) if err != nil { panic(err) } fmt.Println("Balance (in hex):", string(result)) } ``` 这只是以...
原文链接：https://www.rareskills.io/post/set-theory ## 为什么要写这篇集合论教程？ 这篇文章的读者群体是那些除非有实际应用场景，否则对抽象数学没兴趣的人。他们只想掌握必要的知识，然后快速进入正题。这篇文章就是为这类...
...层的数学知识（至少，如果你想正确地做事）。例如，RSA密码系统（它是最早的方法之一，也是被最广泛采用的方法，直到它被更好的方法，例如基于椭圆曲线的方法所取代）通过使用公钥 $e$ 加密消息 $M$（表示为范围 $1, 2, 3, ....
二次算术程序是一个 [算术电路](https://learnblockchain.cn/article/11317)，具体来说是一个 [等级 1 约束系统](https://learnblockchain.cn/article/11313) (R1CS)，表示为一组多项式。它是通过在等级 1 约束系统上使用拉格朗日插值法得出的。与 R1CS ...
...Move 编程语言。Move 是一种智能合约编程语言，最初由 Libra（现在的 Diem）开发。Sui 通过使用 Move 提供了一个安全、灵活且高效的智能合约环境。 在区块链平台上，"swap" 通常指的是一种用于在去中心化交易所（DEX）上交换加密...
# Thanks - 十分感谢@AntalphaLabs 上月底提供的线下hackerhouse ，有机会亲历并学习SecbitLabs @郭宇 老师、@even 做zk research 的思路和方法，并讨论了很多folding scheme相关的问题 - 非常感谢参加hackerhouse 一起交流讨论过protostar的小...