关于我

蔡廷漳（Kinesis）的个人博客。21 年更新了一些算法竞赛的题解。此博客暂时用于展示个人主页。

👨‍🎓 我的学历

大连理工大学，23 届本科。

编程语言：熟练使用 C/C++，较熟练使用 Rust、go、java、python，了解基本 Shell 语句、Scala 基础语法，基本熟悉 linux 操作环境。
算法和数据结构：熟练使用基本的算法和数据结构，掌握一定算法竞赛要求的算法知识，在 ICPC 区域赛拿过银牌、铜牌，CCPC 区域赛拿过银牌；
密码学和区块链：基本了解常用的对称加密与公钥加密算法，基本了解 zk-SNARKs 与 Bulletproofs技术原理与对应安全性假设。基本了解 Bitcoin，Ethereum 结构，工作原理，性质，了解 RAFT 共识算法。
其他：有良好的沟通能力，英语能力，具有团队合作精神，优秀的逻辑分析能力和学习能力；

2022.8-2022.9: QEET Debugger

开发语言：Rust
核心内容：该项目是一个在终端界面下对 C 语言的调试程序（简称 QEET）。在项目运行后，QEET 将会绑定一个目标的可执行二进制文件，该文件由源程序结合 Makefile 构建得到。绑定完成后，QEET 将会在终端界面与用户指令进行交互。
功能实现：历史指令回滚，进程跟踪，进程中断、恢复进程运行，打印回溯，地址与源代码函数名、行数双向绑定，基本实现终端 gdb 的功能。
主要成就：该项目获得专业方向课程设计课程 95 分。
项目链接：Falicitas/CS110L at Stable (github.com)

2023.2-2023.5: 有限域上线性方程解的高效零知识证明协议

开发语言：Rust
核心内容：该（毕业设计）项目是对论文 Compressed Σ-Protocol Theory and Practical Application to Plug & Play Secure Algorithmics 的复现，对于线性方程组形式 Y=AX，X为 P 所私有，矩阵 A 和向量 Y 公开（向量 Y 的维数低于向量 X），P 证明 X 满足仿射性质而不透露任何有关 X 的知识。
功能实现：实现通信复杂度 Θ(λ(2⌈log_2⁡(n+1) ⌉-1))（P 向 V）和 Θ(λ(⌈log_2⁡(n+1) ⌉+1))（V 向 P），其中 λ 是安全参数，n 是隐私向量 X 的长度。椭圆曲线采用开源项目 dalek curve25519_dalek，使用 merlin 将协议从交互式通过 FS 变换转为非交互式。Pedersen Commitment，以及论文所有 Pi 子协议均模块化设计。
主要成就：避免了选用 curve25519 导致的小子群攻击；实现了与知识证明相关的矩阵A行数无关的紧凑通信复杂度；作为非线性关系的知识证明的高效模块化协议黑盒，提供了对矩阵的 Full PoK 和预处理数据后的紧凑Prove/Verify的 API 接口。
项目链接： Falicitas/Efficient_ZKP_for_Affine-forms (github.com)

2021.7-2021.8: ByteCamp2021 夏令营营员

我的邮箱：1019386658@qq.com

21 年的题解的图床放在了 github 仓库，可能访问会有延迟甚至失效。