规约语言 | WIZARD

Skip to content

Main Navigation 首页归档

数学与理论

逻辑与形式化方法

算法与数据结构

系统与底层

计算机体系结构

编译与程序构造

计算机网络

语言与编程

密码与隐私

安全攻防

软件保护与对抗

漏洞与利用

恶意代码分析

渗透与红队

防御检测与取证

人工智能

机器学习与大模型

AI 基础设施

软件工程

服务端工程

工程实践与运维

应用领域

Web3 与区块链

技术Demo 关于

深色模式

Sidebar Navigation

知识库首页

数学与理论

总览

数学基础

总览

线性代数

概率论

数理统计

微积分与分析

离散数学

数论与代数

最优化理论

信息论

数值方法

逻辑与形式化方法

总览

命题与谓词逻辑

模型论与集合论

可计算性与复杂性

类型论

规约语言

模型检验

定理证明

抽象解释

SMT 与约束求解

程序验证

协议形式化验证

已验证系统

算法与数据结构

总览

复杂度分析

线性结构

树结构

图算法

排序与查找

动态规划

贪心与分治

字符串算法

高级数据结构

计算几何

数学类算法

随机与近似算法

系统与底层

总览

计算机体系结构

总览

指令集架构

流水线与乱序

缓存层次

内存模型

向量与并行扩展

加速器架构

硬件虚拟化

微架构侧信道

性能计数器与剖析

编译与程序构造

总览

词法与语法分析

语义分析

中间表示

优化

代码生成

ABI 与运行时布局

链接与加载

JIT 与解释器

垃圾回收

程序变换

操作系统

总览

内核结构

进程与调度

并发与同步

内存管理

文件系统

I/O 与设备

进程间通信

虚拟化

容器机制

启动与固件

Linux 实务

Windows 实务

隔离与沙箱

计算机网络

总览

体系结构

链路层

网络层

路由

传输层

应用层协议

数据平面

SDN 与可编程网络

数据中心网络

内容分发与边缘

网络测量与诊断

对等网络

新一代互联网

通信原理

总览

信号与系统

随机过程与噪声

模拟调制

数字调制

信源编码

信道编码

扩频与多天线

多址接入

移动通信系统

物理层安全

语言与编程

总览

编程语言

总览

C

C++

Java

Python

Rust

Go

JavaScript / TypeScript

ArkTS

语言横向对比

密码与隐私

总览

密码学

总览

数学基础

古典密码

对称密码

哈希与 MAC

公钥密码

签名与身份

密码协议

可证明安全

密码攻击

高级原语

后量子密码

国密算法

工程实现

隐私保护

总览

隐私威胁模型

合规与治理

匿名化

差分隐私

安全多方计算系统

同态加密应用

零知识应用

联邦学习

可信执行环境

匿名通信

机器学习隐私

隐私工程

安全攻防

总览

逆向工程

总览

静态分析

动态调试

插桩与 Hook

符号执行与约束求解

模拟执行

逆向自动化

PE 与 Windows 用户态

Windows 内核

ELF 与 Linux 用户态

Linux 内核

Android

Apple 平台

托管代码

固件与嵌入式

软件保护与对抗

总览

加壳原理

脱壳

虚拟机保护

代码混淆

反混淆

反调试与反分析

完整性与防篡改

白盒密码

授权与激活

商业加固方案

漏洞与利用

总览

缺陷分类

内存破坏

堆利用

生命周期缺陷

缓解机制

缓解绕过

代码复用攻击

模糊测试

静态审计

补丁比对

内核提权

浏览器利用

报告与披露

恶意代码分析

总览

分析环境

快速定级

行为分析

配置提取

持久化技术

逃逸技术剖析

C2 通信

家族与谱系

归因方法

检测规则产出

勒索软件

渗透与红队

总览

方法论与授权

信息收集

Web 安全

网络与服务

域与身份

横向移动

权限提升

云与容器攻击面

移动端测试

基础设施与工具链

靶场与复现

防御检测与取证

总览

防御体系

日志与采集

日志分析平台

端点检测响应

检测工程

网络侧防御

内存取证

磁盘与主机取证

应急响应

威胁情报

系统加固

安全开发

CTF 竞赛

总览

Reverse 题型

Pwn 题型

Web 题型

Crypto 题型

Misc 与取证

区块链题型

工具与模板

题解归档

人工智能

总览

机器学习与大模型

总览

学习理论基础

经典机器学习

深度学习基础

网络架构

计算机视觉

自然语言处理

大模型预训练

后训练与对齐

推理与能力

模型效率

多模态

评测

模型安全

强化学习

Agent 工程

总览

范式与架构

上下文工程

工具调用

检索增强

记忆系统

多 Agent

执行环境

评估与可观测

Agent 安全

生产化

框架与 SDK

垂直场景

AI 基础设施

总览

硬件与拓扑

算子与内核开发

分布式训练

集合通信

推理服务

编译与运行时

资源调度

数据与存储

可观测与调优

成本工程

端侧推理

平台建设

软件工程

总览

服务端工程

总览

Web 层

框架与容器

持久化

缓存

消息与异步

检索与其他存储

微服务

接口设计

分布式基础

并发与高性能

服务端安全

架构与设计

性能工程

前端工程

总览

结构与样式

浏览器原理

框架

构建与工程化

性能优化

可访问性

实时与通信

图形与可视化

WebAssembly 应用

前端安全

测试

博客与站点工程

系统开发

总览

裸机与 no_std

自制操作系统

内核态数据结构

驱动开发

文件系统实现

网络栈实现

虚拟化实现

嵌入式与实时

WASM 与运行时

跨语言互操作

系统级性能

系统工具开发

工程实践与运维

总览

服务器管理

Shell 与自动化

版本控制

网关与反向代理

容器实践

编排

持续集成交付

基础设施即代码

可观测性

数据库运维

自建服务

可靠性工程

应用领域

总览

数学建模

总览

建模方法论

优化建模

动态与微分方程

统计建模

网络与图模型

评价与决策

预测方法

仿真

启发式算法应用

数据处理

竞赛实务

Web3 与区块链

总览

基础模型

共识机制

虚拟机与执行

合约开发

合约安全

扩容与二层

零知识应用

金融应用

应用开发

节点与基础设施

身份与存储

治理与合规

大纲

计划覆盖

TLA+
Alloy
B/Event-B
契约式设计

原子清单

Pager

上一篇类型论

下一篇模型检验

WIZARD

© 2025