Soptq

Soptq

Probably a full-stack, mainly focusing on Distributed System / Consensus / Privacy-preserving Tech etc. Decentralization is a trend, privacy must be protected.
twitter
github
bilibili
cover
cover

通过 Bytecode 计算合约相似度

最近 Forta Foundation 让我帮他们做一个监控机器人,要求给定一个集合的恶意合约(Malicious Contracts),判断当前创造的合约是否与恶意合约集合中的任意一个合约相似。这几天疯狂看了十几篇论文,最终终于比较圆满的完成了这个需求…
准备把博客迁移到 xLog.app
在此之前,我主要使用我自己维护的 Soptlog 来作为我的博客。Soptlog 最开始来自于 Huxpro 老师的开源项目,之后由我进行大量二次开发,实现了包括自适应夜间模式,Medium 类似风格的图片加载(即由模糊变清晰),静态博文加密,以及大量 Ruby 编写的…
cover
cover
cover
cover

Exploratory Data Analysis on Fantom and UNICEF grant applications

这一篇文章是我们为 Open Data Foundation 写的对 Fantom 和 UNICEF 某一段时间收到的 Grant 的申请数据做数据分析。我们发现可以使用一些算法自动鉴别 Grant 的有效性。 In this writing, we will mainly…
记录一次神奇的 ZEIT Debug 经历
事情是这样的,总所周知,因为我的主要博客每次构建的时候会涉及到一些动态内容以及优化,所以它是被 host 在 ZEIT 的服务器上。具体的来说,在构建的时候我会通过脚本启动一个本地 NodeJS 服务器,然后 Jekyll 通过 RPC 来调用指令或的结果。我随机给 NodeJS…
cover
cover

欢迎你的到来,勇敢的 (BRAVE) 访问者

Soptlog 作为我的个人项目,我认为把行业最新的、最先进的技术尽可能快的使用在 Soptlog 上是我的义务之一。幸运的是,我刚好又愿意在这个博客上花费我的一部分时间,所以 Soptlog 才会在非常早期就使用了静态网站博文加密功能,以及在各大操作系统普及系统暗黑模式之前就运…
cover
cover
cover
cover

赛博朋克 2077:我心中的又一精品

2020 年 12 月 10 日,赛博朋克 2077 终于发售了。作为巫师三 10 刷的剧情党来评价一下赛博朋克 2077,我觉得完全超出了我的期待。本以为我已经丧失了对游戏的激情,但赛博朋克 2077 又将这股力量从我内心唤醒了。 我呢,因为是剧情党嘛…
分布式情景下的 Batch Normalization 处理
Batch Normalization (BN)# Batch Normalization 的 motivation 大概是这样的。在深度学习过程中,每一层网络都会对输入的数据做一次映射。于是随着网络的不断加深,前面 $n$ 层的网络对输入数据的影响是累加的。所以对于 $n+1$…
cover

反向传播算法的数学推导

本文严重参考了 CSDN 反向传播算法(过程及公式推导) 基本定义# 在上图所示的简单神经网络中,layer 1 是输入层,layer 2 是隐藏层,layer 3是输出层。我们用上图来阐述一些变量名称的意义: 名称…
生活环境升级
最近家里升级了千兆宽带,电信公司带着人来各种装修,又换线又换路由器。我也趁着这波升级换了一波设备,目前感觉非常不错,于是来盘点一下,顺便水一篇博客。 网络线路升级# 因为我需要 VPN,而我爸妈不需要,所以之前从光猫分出来接了 2 个路由器,对应两套网络。同时光猫除了解析光信号…
如何计算深度学习优化方法的收敛率
收敛率是什么?# 我们小学三年级学的数值分析告诉我们,如果函数 f(x) 是收敛的,即 \lim_{k \rightarrow\infty}\vert\vert x_k - x^* \vert\vert = 0 ,其中 \lim_{k \rightarrow\infty}f(x…
cover

当按下电源后,x86 CPU 的 OS 是如何被启动的?

当 x86 CPU 电源联通后,它的 EIP (The Instruction Pointer) 被硬编码到地址 0xFFFFFFF0,即内存的最后 16 位。这时 CPU 是处于实模式 (Real Mode) 的,所以相当于从 0xFFFFFFF0 开始 CPU…
cover

编写你自己的内存分配器

在这篇文章中我将带着大家实现一个自己的内存分配器。这个内存分配器 十分简单 ,它旨用于帮助大家对操作系统内部的内存分配过程有更深的理解。所以它并不会很高效。简单的说,这个内存分配器 只是能用 (Just works)。 我们主要会使用 C 语言来进行编程。但在编程前…
cover

反馈边问题 NP-Complete 证明

反馈边 (Feedback Arc Set)问题的描述如下。给定一个有向图 G,问是否可以移除小于等于 k 条边使得 G 中没有循环。首先这个问题显然是 NP 问题。即给定移除的 k 条边,我只需要先把这 k 条边移除,然后判断剩下的图中是否有循环就可以了…
子图同构问题 NP-Complete 证明
子图同构(Subgraph isomorphism problem)问题的描述如下:给定两个图 G_1 和 G_2,判断 G_1 是否与 G_2 的一个子图同构。首先假如我们得到了 G_1,G_2 和对应的解(即 G_2 的子图 G_s 使得 G_s 与 G_1 同构…
cover
cover
cover
cover
cover

3 色问题的 NP-Complete 证明

3 色问题 (3-Color) 的描述如下:给定一个图 G,为 G 中每一个顶点涂色,要求每两个相邻的顶点颜色不一致。问是否可以用 3 种颜色完成上面的要求。 首先我们证明这个问题是 NP 问题。显然,若给定一个解,我们只需要遍历每一个节点,检查其与其相临节点的颜色是否一致…
cover
cover

顶点覆盖问题 NP-Complete 证明

顶点覆盖问题(Vertex Cover)的描述如下:给定 <G,k>,其中 G 是一个无向图,问图中是否存在点集 V,\lvert V \rvert <= k, 使得 V 中的每一个顶点覆盖 G 中所有的边。即 G 中每一条边的起点或终点都为 V 中的一个点。以下图为例,<A,B…
cover
cover
cover

分团问题 NP-Complete 证明

分团问题(Clique Problem) 的描述如下:给定 <G, k>,其中 G 是一个无向图,问图中是否存在点集 V 组成一个团,且 \lvert V \rvert <= k。即 V 中的点相互连接?以下图为例。<B,C,D,E> 就是符合条件的一个点集,因为这四个点相互连接…
3-SAT NP-Complete 证明
阅读本篇需要先理解 SAT 问题是 NP 完全的,其主要由 Cook–Levin theorem 证明。有很多非常优秀的资源都对 SAT 的 NP 完全性作了证明,但这里就先省略掉了,还请读者自己参考。以后有时间的话我会补一个我理解的 SAT 证明问题。 **3-SAT (3…
Ownership of this blog data is guaranteed by blockchain and smart contracts to the creator alone.