随笔分类 -  笔记

Anatomy of a STARK, Part 4: The STARK Polynomial IOP（译）
摘要：source: https://aszepieniec.github.io/stark-anatomy/stark 本教程的这一部分涉及 STARK 证明系统的信息论主干，您可以将其称为 STARK 多项式 IOP。回想一下，SNARKs 的编译流水线涉及中间阶段，其中前两个是 算术约束系统(ari 阅读全文
posted @ 2022-02-13 23:43 elimsc 阅读(253) 评论(0) 推荐(0)
Anatomy of a STARK, Part 2: Basic Tools（译）
摘要：source: https://aszepieniec.github.io/stark-anatomy/basic-tools Finite Field Arithmetic Finite fields are ubiquitous throughout cryptography because t 阅读全文
posted @ 2022-02-12 12:51 elimsc 阅读(136) 评论(0) 推荐(0)
Anatomy of a STARK, Part 1: STARK Overview(译)
摘要：source: https://aszepieniec.github.io/stark-anatomy/overview STARK 是一类交互式证明系统，但本教程将它们视为 SNARK 的一个特例，其中 哈希函数是唯一的加密成分， 算术化基于 AIR（algebraic intermediate 阅读全文
posted @ 2022-02-11 16:04 elimsc 阅读(383) 评论(0) 推荐(0)
《DDIA》读书笔记:分区
摘要：本文是第六章Partition的读书笔记。 这部分讨论的内容是 怎么partition，发生 热点数据/数据偏斜 的时候怎么办 partition后数据的二级索引怎么管理 rebalancing 重平衡：添加删除节点时分区怎么处理 服务发现：怎么知道自己要的数据在哪个节点上，节点或分区发生变化了怎么 阅读全文
posted @ 2022-02-10 18:13 elimsc 阅读(97) 评论(0) 推荐(0)
《DDIA》读书笔记:复制(1)
摘要：本文是第五章Replication中single leader部分的读书笔记。 这部分内容讨论的问题是 以怎样的方式复制（同步 or 异步） 怎么增加新的follower follower或leader故障了怎么办 复制日志该以什么样的格式存储 single-leader架构下，读follower有 阅读全文
posted @ 2022-02-10 18:13 elimsc 阅读(85) 评论(0) 推荐(0)
《DDIA》读书笔记:SSTable and LSM Trees
摘要：本文是第三章SSTable and LSM-Trees部分的读书笔记。 这部分包括的内容为 介绍如何用Hash Index与log组成key-value数据库，为了引入以SSTable作为log的实现 SSTable的特点 如何处理读写请求，如何保证crash-safe compact和merge的 阅读全文
posted @ 2022-02-10 18:12 elimsc 阅读(89) 评论(0) 推荐(0)