近期更新概览

普通文章(1)

WriteUp(6):不在主页展示,集中放在 WriteUp tag

January 20, 2026

年度总结 - 2025(置顶)

自从接触到工作,记忆节点似乎就由工作为 key,其余为 value,所以本篇 blog 的时间线基本都是由工作发散的
Read more
September 25, 2025

macOS (Apple Silicon) 环境下 Python C 扩展包的编译与使用排错指南

技术文档:macOS (Apple Silicon) 环境下 Python C 扩展包的编译与使用排错指南 摘要 本文档记录了在 macOS M系列芯片(Apple Silicon)环境下,安装和使用一个需要C语言扩展的Python包 (gf2bv) 时遇到的两个典型问题及其解决方案。这为处理类似问题的开发者提供了一个清晰的排错思路和操作指南。
Read more
September 15, 2025

片段

Coppersmith / 总结思路(逐步推理)和为什么 getFullP 里用多项式 P - N 为什么把多项式构造成 p(x) - n / 一、从已知条件出发的代数关系(推导低位 p 的来源) 已知:RSA 参数 $n=pq$、公钥指数 $e=3$、私钥 $d$ 满足 / [公式] 所以存在整数 $k$ 使得
Read more
September 5, 2025

mod n -> mod p

设 $\mathbb{Z}$ 为整数集。 / 前提: / $c, m, e, n, p, q, r \in \mathbb{Z}$ $n = pqr$ $c \equiv m^e \pmod n$ 推导: / 由前提 3 及同余的定义可知: $n | (c - m^e)$ 这意味着存在某个整数 $k$,使得: $c - m^e = k \cdot n$ 将前提 2 代入上式: $c - m^e = k \cdot (pqr)$ 重新组合等式右边: $c - m^e = (kqr) \cdot p$ 令 $k' = kqr$。因为 $k, q, r \in \mathbb{Z}$,所以 $k' \in \mathbb{Z}$。 $c - m^e = k' \cdot p$ 根据整除的定义,上式意味着: $p | (c - m^e)$ 再次根据同余的定义,可得: $c \equiv m^e \pmod p$ 结论: $c \equiv m^e \pmod n \implies c \equiv m^e \pmod p$
Read more
July 30, 2025

GB/T 38636-2020: 传输层密码协议 (TLCP) 技术规范分析

Reference GB/T 38636-2020 Go语言实现的传输层密码协议(TLCP GMSSL),TLCP协议遵循 GB/T 38636-2020 Information security technology Transport Layer Cryptography Protocol (TLCP) GB/T 38636-2020: 传输层密码协议 (TLCP) 技术规范分析 1. 范围与目的 本标准定义了传输层密码协议 (Transport Layer Cryptography Protocol, TLCP),旨在为网络中两个对等实体间的通信提供机密性 (Confidentiality)、完整性 (Integrity) 和身份认证 (Authentication)。其核心是定义了一个记录层协议和一个握手协议族,并规定了其所依赖的密码学原语和密钥计算方法。
Read more
July 29, 2025

为 small_roots() 设置超时

在做 small_roots() 时,偶尔需要爆破一些位,这时如果格密度够大,那爆破起来很慢 / 我们可以为其设计超时,下面是代码 / 超时值的选择:构造一些恰好在界周围的参数,记录其求解的平均和最大时间,确保不会漏掉正确答案
Read more
July 28, 2025

从矩阵求解到深入 Sage 引擎内核

AI 创作说明:本文基于 AI 辅助修改和润色,如果您对 AI 生成内容有不适感,请及时退出。 / SageMath 解题思路进阶:从矩阵求解到深入引擎内核 前言:我们想解决什么问题? 在我们的编程和数学旅程中,求解方程组是一项常见的任务,例如:
Read more
July 28, 2025

SageMath 进阶技巧(续):利用 flag 参数探索解空间

AI 创作说明:本文基于 AI 辅助修改和润色,如果您对 AI 生成内容有不适感,请及时退出。 / SageMath 进阶技巧(续):利用 flag 参数探索解空间 前言 在之前的探讨中,我们分析了在 SageMath 中求解模线性方程组的三种核心策略:
Read more
July 28, 2025

解模线性方程组:从龟速到光速的 SageMath 之旅

AI 创作说明:本文基于 AI 辅助修改和润色,如果您对 AI 生成内容有不适感,请及时退出。 / SageMath 中模线性方程组的求解策略与性能比较 前言 在计算数学领域,求解方程组是一项基础而核心的任务。当这一任务被置于模算术(Modular Arithmetic)的框架下时,问题会呈现出新的特点与挑战。SageMath 作为一个综合性的开源数学软件,为此类问题提供了多种求解路径。然而,不同的实现路径在算法原理和计算性能上存在显著差异。
Read more
July 21, 2025

Golang Cgo Metal (sm3)

周末打了场比赛( 刷到 adwa的blog ),这道题需要爆破 $2^{32}$ bit 并调用一些函数验证,据上面 adwa 博客说 python 300h,go 并发 8min (我自己的 M1 Pro 需要15分钟) 我自己对 Go 的极致(大概吧)优化不到五分钟(优化点包括但不限于:防止 gc、手动 make、将 sm3 的库中代码优化(你还能有库牛逼?.jpg)、大小核优化:大核心负责爆破的核心运算,小核心负责任务调度),
Read more
July 12, 2025

Windows 下 sing-box tun 全局代理配置踩坑记

背景 最近在 Windows 系统上配置 sing-box 的 tun 模式全局代理时,遇到了一个典型的"虚拟网卡冲突"问题。经过一番折腾,最终发现问题的根源和解决方案。记录下这个过程,希望能帮助遇到类似问题的朋友。
Read more