...错”、“拜占庭将军问题”。 拜占庭将军问题是Leslie Lamport（2013年的图灵讲得主）用来为描述**分布式系统一致性问题**（Distributed Consensus）在[论文](http://lamport.azurewebsites.net/pubs/byz.pdf)中抽象出来一个著名的例子。 这个例子...
作者丨Seek  >密码学早在公元前400多年就已经产生，人类使用密码的历史几乎与使用文字的时间一样长，密码学的发展大致可以分为 3 个阶段: >1949 年之前的 **古...
## CoinFlip ### 1. question **源码** ```solidity pragma solidity ^0.4.24; contract P_Bank { mapping (address => uint) public balances; uint public MinDeposit = 0.1 ether; Log TransferLog; event FLAG(string b64email, string slogan); constructor...
## 引入 \[V\] 规范语言  在之前的博客中，我们探讨了如何使用形式化验证来证明程序不存在逻辑错误。然而，为了使用形式化验证工具，开发者需要提供一个 _规范_ 以数...
--- sidebar_position: 1 --- # `x/bank` ## 摘要 本文档对Cosmos SDK的bank模块进行说明。 bank模块负责账户间的各种代币资产转账以及追踪特殊情况下必须以不同方式工作的特殊账号的伪转账（特别是vesting账户的代理/取消代理）。...
 ## 本期看点： - **以太坊主网合并升级成功** - **注册 Flashbots 的 Boost Relay 的验证者约占总数的 23%** - **目前的 Relay 使用情况** - **Opti...
 ## 有状态哈希还是无状态哈希 —— 这是后量子问题 几周前，我很幸运地与强大的 Ralph Merkle 进行了交谈： 当然，他是公钥密码学和 Merkle 树的共同发明人。Merkle 树的核...
...后面的 W）是在 4 次扩展域上的（通常表示为 x=a0+a1v+a2v2+a3v3 形式的元素，其中 v4=3）以确保（接近）128 位安全性。  请注意，**我们尚未进行任何 sumcheck**。我们所做...
作者：Jainil Vora, Frank Lei, Ionut-Viorel Gingu, Dario Lo Buglio & Henrique Scocco ## 引言 欢迎来到臭名昭著的 Bug 摘要 #5——精选的近期 Web3 Bug 和安全事件的见解汇编。我们的安全研究人员在不深入审计时，会投入时间来了解安全领域的最新...
通过一天的交流学习大概弄清了KZG10 与 Pairing 的勾迹关系，对PCS也有了更进一步认识，这里详细梳理了一下它们之间的逻辑关系。 # Thanks - 感谢@Kurt Pan 博和@miles 的热心交流讨论，让我重新认识了“椭圆曲线group 上的标量...
 这是一个 Solana 的 Hello World 教程。我们将指导你完成安装 Solana 的步骤并解决可能出现的问题。 **如果你遇到问题，请查看本文末尾的故...
## 概述 在编程领域几乎没有人没用过或听说过 JavaScript。[JavaScript](https://developer.mozilla.org/en-US/docs/Web/JavaScript) 最初是为客户端脚本创建的，但如今已经成为功能齐全的面向对象和过程式编程语言，广泛用于客户端和服务器应用...
``` interface IUniswapV2Router01 { function factory() external pure returns (address); function WETH() external pure returns (address); function addLiquidity( address tokenA, address tokenB, uint amountADesired, uint amountBDesired, uint...