暂无搜索历史
原作者写了个示例，以方便理解：https://github.com/stapelberg/goturbopfor
zero-knowledge protocol：是一组数学规则，根据这些规则，在给定 instance 后，prover 可以向 verifier 证明自己知...
设 \sum 是任意集合，\sum^* 是所有的长度有限的字符串 <x_1, .., x_n> ，其中 x_j 取自 \sum ，空字...
Short Weierstrass 椭圆曲线：F 是特征 q > 3 的有限域，a, b ∈ F，且 4a^3 + 27b^2 \ne 0 ，所有点 (x...
一个集合 G 和该集合上的某种二元运算。群 G 中的两个元素通过某种二元运算可得到该群中的另一个元素。群要满足一些性质，比如交换律、结合律、元素存在逆等。
自然数的素数分解：每个自然数 n 都可分解为一系列素数，n = p1 · p2 · ... · pk
我们知道 UDP 协议乐观且心大，相信网络环境比较健康，数据是可以送达的，即使送达不了也没关系。而 TCP（Transmission Control Proto...
我们都知道，算法是解决实际问题的步骤，是前人智慧的结晶。那么为什么会有快速排序呢？这就需要了解下传统排序算法的缺点。传统的排序算法有冒泡排序、选择排序和插入排序...
我们了解到计算机由控制器、运算器、存储器、输入和输出五个部分组成。其中，运算器中不包含减法器，倒不是说减法器实现不了，而是聪明的人发现了可以用加法器来实现减法操...
Scalar Evolution（SCEV）用于分析循环中的标量（scalar）是如何变化的（evolution）。
源码：https://github.com/felicityin/nand2tetris-rs
本文中的例子拷贝自：https://pku-minic.github.io/online-doc
叶节点（leaf）存储数据或其哈希值，中间节点（non leaf）是它的两个孩子节点内容的哈希值。只要叶节点有任何变动，都会传递到其父节点，一直到 root。
构成共识机制的基础，区块链使用这些机制实现分布式共识。验证者将 ETH 质押到智能合约中，如果失信或消极怠工，则罚没质押。验证者检查新区块是否有效，有时候自己也...
编译器前端的最后一关，可捕获前面两关无法捕获到的错误，因为有些语言不是上下文无关的，例如，(e1: int ^ e2: int) => e1 + e2: int
meta tx 不直接发送到区块链，而是发送元交易到第三方 Relayer，该第三方支付 gas。
1）client 向 relay service 发送签名后的请求，不需要用 ETH 支付手续费。
以太坊虚拟机 (Ethereum Virtual Machine, EVM) 负责执行交易和更新区块链状态。
NFT 相关信息被记录在 factory cell 和 token cell 中。
未知攻，焉知防，以攻促防，共筑安全！
暂未填写公司和职称
暂未填写个人简介
暂未填写学校和专业
暂未填写所在城市
