随意记录-腾讯云开发者社区

开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

随意记录

专栏作者

33

文章

36842

阅读量

18

订阅数

整数压缩算法 TurboPFor

原作者写了个示例，以方便理解：https://github.com/stapelberg/goturbopfor

2023-11-21

2820

密码学[5]：Groth16

zero-knowledge protocol：是一组数学规则，根据这些规则，在给定 instance 后，prover 可以向 verifier 证明自己知道该 instance 的 witness 而不揭露 witness 任何信息。

2023-10-30

3801

密码学[4]：电路 R1CS QAP

设 \sum 是任意集合，\sum^* 是所有的长度有限的字符串 <x_1, .., x_n> ，其中 x_j 取自 \sum ，空字符串 <> ∈ \sum^* 。语言 L 是 \sum^* 的子集。在这种情况下，\sum 是语言 L 的子母表，\sum 中的元素是字母，L 中的元素是单词。如果有规则指定 \sum^* 中的字符串是否属于语言，该规则就被称为语法。如果 L_1 和 L_2 是基于同一个字母表的两个形式语言，且包含了相同的单词集，则称 L_1 和 L_2 是等价的。

2023-10-28

5400

密码学[3]：椭圆曲线

Short Weierstrass 椭圆曲线：F 是特征 q > 3 的有限域，a, b ∈ F，且 4a^3 + 27b^2 \ne 0 ，所有点 (x, y) ∈ F x F 满足方程 y^2 = x^3 + ax + b 所组成的集合，还有额外的一个点 O，称为无穷点：

2023-10-27

4970

密码学[2]：群环域

一个集合 G 和该集合上的某种二元运算。群 G 中的两个元素通过某种二元运算可得到该群中的另一个元素。群要满足一些性质，比如交换律、结合律、元素存在逆等。

2023-10-18

5550

密码学[1]：整数模多项式

自然数的素数分解：每个自然数 n 都可分解为一系列素数，n = p1 · p2 · ... · pk

2023-10-18

3940

TCP 三次握手和四次挥手

tcp 计算机网络

我们知道 UDP 协议乐观且心大，相信网络环境比较健康，数据是可以送达的，即使送达不了也没关系。而 TCP（Transmission Control Protocol，传输控制协议）就不一样了，它是悲观且严谨，认为网络环境是恶劣的，丢包、乱序、重传和拥塞是常有的事，一言不合就可能送达不了了，因而要从算法层面来保证可靠性。

2023-10-14

3390

我们都知道，算法是解决实际问题的步骤，是前人智慧的结晶。那么为什么会有快速排序呢？这就需要了解下传统排序算法的缺点。传统的排序算法有冒泡排序、选择排序和插入排序。它们的共同点就是两两比较，算法的时间复杂度高达 O(n^2)，不适合大规模排序。我们接下来来看下时间复杂度仅为 O(nlogn) 的快速排序算法，它用到了分治思想，非常巧妙。

2023-10-14

1310

原码反码补码

计算机组成原理

我们了解到计算机由控制器、运算器、存储器、输入和输出五个部分组成。其中，运算器中不包含减法器，倒不是说减法器实现不了，而是聪明的人发现了可以用加法器来实现减法操作，这样就不必再设计减法器了。比如，减法可以看成一个数加上另一个负数。这样的话，就需要引入符号位，即负号和正号。其实，原码、反码和补码的出现就是为了解决计算机中存储数字符号位的问题以及让计算机能够计算减法。

2023-10-14

2930

Scalar Evolution (SCEV)

Scalar Evolution（SCEV）用于分析循环中的标量（scalar）是如何变化的（evolution）。

2023-10-13

3930

计算机系统要素

源码：https://github.com/felicityin/nand2tetris-rs

2023-09-23

3190

使用 Inkwell 生成 LLVM IR

llvm llvm-ir rust

本文中的例子拷贝自：https://pku-minic.github.io/online-doc

2023-06-13

8500

CKB 中的 Sparse Merkle Tree 用例

叶节点（leaf）存储数据或其哈希值，中间节点（non leaf）是它的两个孩子节点内容的哈希值。只要叶节点有任何变动，都会传递到其父节点，一直到 root。

2023-06-08

3460

以太坊中的 PoS

构成共识机制的基础，区块链使用这些机制实现分布式共识。验证者将 ETH 质押到智能合约中，如果失信或消极怠工，则罚没质押。验证者检查新区块是否有效，有时候自己也会创建新区块。

2023-03-19

1.4K0

CS143 编译器笔记

编译器前端的最后一关，可捕获前面两关无法捕获到的错误，因为有些语言不是上下文无关的，例如，(e1: int ^ e2: int) => e1 + e2: int

2023-03-12

5590

Biconomy Forward 调研

oracle 费用中心

meta tx 不直接发送到区块链，而是发送元交易到第三方 Relayer，该第三方支付 gas。

2023-02-09

4780

ERC-20 token 支付手续费源码解析

client function service token worker

1）client 向 relay service 发送签名后的请求，不需要用 ETH 支付手续费。

2023-02-09

1.8K0

EVM 源码解析

以太坊虚拟机 (Ethereum Virtual Machine, EVM) 负责执行交易和更新区块链状态。

2023-02-05

1K0

NFT 相关信息被记录在 factory cell 和 token cell 中。

2022-08-15

3260

所有权是用来管理堆上内存的一种方式，在编译阶段就可以追踪堆内存的分配和释放，不会对程序的运行期造成任何性能上的损失。

2022-06-04

1.6K0

点击加载更多

社区活动

RAG七天入门训练营

鹅厂大牛手把手带你上手实战

Python精品学习库

代码在线跑，知识轻松学

博客搬家 | 分享价值百万资源包

自行/邀约他人一键搬运博客，速成社区影响力并领取好礼

技术创作特训营·精选知识专栏

往期视频·千货材料·成员作品最新动态