dorisJesse-CSDN博客

原创零知识证明与 ZK‑SNARK 详解

即使第三方获取了证明过程，也无法像验证者一样确定命题为真，从而实现真正的知识保密。以经典的案例为例：阿里巴巴需要在不泄露开门咒语的前提下，向强盗证明自己掌握咒语。如果仅让阿里巴巴从 A 门进、B 门出，虽然能完成证明，但这不属于零知识证明，因为第三方也能据此推断阿里巴巴知道咒语。真正的零知识证明方式是：在无人知晓的前提下，让阿里巴巴从任意一侧进入山洞，由强盗随机指定他出来的一侧。经过多次验证后，强盗可以确信阿里巴巴掌握咒语；但在第三方看来，只会认为两人可能在串通，无法获得有效知识。

2026-02-25 16:11:56 743 1

原创机密计算以及Occlum

1. 机密计算核心：保护“使用中”数据，依托TEE（如Intel SGX）实现硬件级隔离，Enclave是SGX的核心可信区域；2. Occlum定位：SGX/TEE专用LibOS，解决SDK语言绑定、Enclave系统调用受限、传统LibOS多进程性能差等痛点；3. Occlum核心竞争力：镜像化部署（易用）、单Enclave多进程（高性能）、Rust开发（高安全）。

2026-02-16 16:29:19 820

原创 Redis 下载详细教程（Windows 版）

安装 Microsoft Visual C++ 2013 运行库（vcredist_x64.exe）。通过「服务」管理界面检查 Redis 服务状态是否为“正在运行”。将压缩包解压至无中文、无空格的目录，例如。确保使用管理员权限运行 CMD。若 Redis 设置了密码，在。保存文件，无需重启即可生效。

2026-02-11 11:14:57 787 1

原创 TCP/UDP 协议与端口详解

端口是进程的唯一标识，同一协议下不重复，可通过 netstat 命令查看，数据需发送到监听端口才会被接收。TCP 面向连接、可靠但效率低，需三次握手/四次挥手，适合文件传输等场景，shutdownOutput() 是告知对方数据发送完毕的关键。UDP 无连接、不可靠但效率高，无需握手，适合实时通信，需封装数据包并指定目标 IP + 端口。URL 是资源定位符，通过「协议 + IP + 端口 + 路径」唯一标识网络资源。

2026-02-10 15:36:22 954

原创公网与内网的区别及相关网络知识总结

公网：又称广域网，是连接不同区域局域网或独立计算机的远程网络，可实现跨地域、甚至全球范围的通信，是各类局域网的互联桥梁。与之对应，公网IP在世界范围内具有唯一性，由运营商分配，是设备接入互联网的全球唯一标识，也是实现跨地域通信的基础。内网：又称局域网，是在局部地理范围内（如家庭、公司），将计算机、外部设备、数据库等相互连接组成的小型通信网，核心用途是满足多设备协同办公和数据交互需求。

2026-02-09 18:16:36 709 1

原创 Kademlia算法核心原理与特性详解

160位标识符与XOR距离节点（node）和键（key）均采用160位唯一标识符。两个标识符x和y的距离定义为按整数解释的按位异或运算结果，即（d(x,y)=x⊕y）。XOR距离核心数学特性对称性：d(x,y)=d(y,x)，两个节点彼此的距离完全相等，为双向通信与路由信息互传奠定基础；三角不等式：d(x, y) +d(y, z) ≥ d(x, z)，满足距离度量的基本数学要求；单向性：给定一个节点ID和一个精确距离，满足该距离的目标ID唯一确定。此特性使同一键的查询无论从哪个节点发起，都会沿。

2026-02-09 09:48:30 568

原创 JSoup入门（爬虫）

需确保网络连接正常，部分网站可能需要设置User-Agent等请求头模拟浏览器访问。更新Maven项目后依赖会自动下载，完成后即可使用Jsoup功能。

2026-02-07 20:12:20 326

原创 BUG终结者：高效调试实战指南

分类介绍静态分析工具（如SonarQube）、动态调试工具（如GDB、LLDB）及日志分析工具（如ELK）。强调单元测试、断点调试、二分排查法等技术的组合应用。列出推荐的学习资料（如《Debugging Rules》）、训练平台（如LeetCode调试题库）。列举比赛中高频出现的BUG类型（如内存泄漏、竞态条件、空指针异常等）。分享快速知识共享技巧（如代码注释规范、调试日志标准化）。介绍BUG终结者挑战赛的起源、目标及在技术社区中的影响力。总结可复用的模式（如自动化测试用例生成、模糊测试技巧）。

2026-02-07 19:26:47 378

sjl970901的博客