❄ Flakes

Links

Wed, 22 Apr 2026 08:05:32 GMT

Friends 24k 24k的小站 MeT MeT-Blog 0n1y 0n1y - Blog Flakes flakes.ink/ .

Home Page of Flakes

Wed, 22 Apr 2026 08:05:32 GMT

这里是ColorSkyFun, 欢迎来到我的博客 My website Gitea Home Page 密码算法 RC4TEA系列逆向 Tauriz3.

RC4

Wed, 22 Apr 2026 08:05:32 GMT

描述 1.初始化S /* Initialization */ for i = 0 to 255 do S[i] = i; T[i] = K[i mod keylen] j = 0; for i = 0 to 255 do j = (j + S[i] + T[i]) mod 256; Swap (S[i], S[j]); 使用 Key 对 S 进行置换, 但是S仍然包含0~255的元素.

TEA Series

Wed, 22 Apr 2026 08:05:32 GMT

描述 TEA TEA (Tiny Encryption Algorithm) 是一种块加密的对称加密算法 TEA使用一个128位(16字节)的密钥对64位(8字节)的明文进行分组运算, 明文被分成2个32位的分组( L_0, L_1), 密钥被分为4个32位的分组 (K_0, K_1, K_2, K_3).

tauri

Wed, 22 Apr 2026 08:05:32 GMT

tauri的逆向大致分为2部分, 一部分是前端逆向, 关键在于提取前端的资源文件, tauri会用brotli将前端资源全部压缩, debug时压缩等级为2, release为9, 这些可以在tauri对资源打包的源代码找到, 另外就是后端部分的逆向前端部分目前有一个项目 tauri-dumper 可以把 windows 和 macos 平台tauri应用的前端资源直接dump出来, 对于其他平台还需要手动dump, 可以参考此文章后端部分当前端的某个函数长这样的时候 async function greet() { greetMsgEl.textContent = await in...

z3

Wed, 22 Apr 2026 08:05:32 GMT

简介 Z3 solver 是由微软开发的可满足性模理论求解器（Satisfiability Modulo Theory solver，即 SMT solver），用于检查逻辑表达式的可满足性，并可以找到一组约束中的其中一个可行解（无法找出所有的可行解）。安装 $ uv add z3-solver 基础先用一个简单的例子开头 from z3 import * x = Int('x') y = Int('y') solve(2 < x, x < 100, x + 2*y == 7) 首先定义2个整数变量x, y, 再使用solve()求解...