Baymax' blogs

注：本文是跟着 CryptoHack 的 Zero Knowledge Proofs 分类学习时整理的知识点，主线就是 Σ-协议（Sigma Protocol） 这一条，从交互式证明一路讲到 Fiat-Shamir 非交互化、OR 复合，题目本身不在这展开。 零知识证明零知识证明（ZKP）：让证明者 P 向验证者 V 证明”某个陈述为真”，但除了”它为真”之外，不泄露任何额外信息。 ZKP 同时满

题目网址：https://cryptohack.org/challenges/web/ 协议梳理先看懂客户端的密钥分层： 12345PASS(20位随机口令) ──PBKDF2(SALT,1000轮,SHA512)──> enc_key(16B) ‖ auth_key(16B) │mast

最近准备学一下（初步了解）各种协议，因此写了这篇博客，如有出错的地方请轻点喷 XD 基础知识密码协议，也称安全协议、加密协议 按安全协议定义： 密钥交换协议、认证协议、认证和密钥交换协议。 按安全协议实现的功能： 认证协议、最小泄密协议、不可否认协议、公平性协议、身份识别协议、密钥管理协议。 下面的知识是有关计算机网络的 OSI模型OSI七层模型是最经典的模型，将通信系统中的数据流分为七层每一

参考资料：https://blog.syss.com/posts/bitpixie/https://github.com/andigandhi/bitpixiehttps://www.freebuf.com/articles/database/431192.htmlhttps://github.com/garatc/BitUnlockerhttps://github.com/martanne/bi

注：SM2算法中涉及很多椭圆曲线中的运算，在代码实现上看起来有点乱，故在本文中没有具体展示源码（推荐在sagemath中进行椭圆运算） 算法基本信息SM2算法是椭圆曲线算法，个人感觉是公开国密中算是比较难和用法较广的算法。 SM2算法主要用在：数字签名算法、密钥交换协议和公钥加密算法，在gb/t中分别是32918_2-2016、32918_4-2016、32918_5-2016。 SM2

环境：windows上的wsl2的arch，sagemath版本10.9最近在学习超奇异椭圆曲线同源交换（SIDH），github上有封装好的攻击库，在拉取后运行遇到的一些问题总结 github：GiacomoPope/Castryck-Decru-SageMath: A SageMath implementation of the Castryck-Decru Key Recovery

weave注：最近的UMDCTF比赛上，出了一道Gabidulin code的题目，要用Welch-Berlekamp 解码算法（目前还不太会这个方向的问题，用ai解出来的…）这篇文章是在ai的辅助下的粗浅理解 Gabidulin code是一种特殊的纠错码 (看来要找个时间学一下纠错码了) 题目： 1234567891011121314151617181920212223242526272829

[强网杯 2024]21_steps题目： 1234567891011121314151617181920212223242526272829303132import reimport randomfrom secrets import flagprint(f'Can you weight a 128 bits number in 21 steps')pattern = r&#

注：本blog参考《祖冲之序列密码算法 第1部分:算法描述》(GB/T 33133_1-2016),源码为本人手搓(ai辅助)，如有漏洞请轻点喷 XD 国家标准全文公开系统：https://openstd.samr.gov.cn 算法基本信息ZUC算法是流密码，加密本质是 $密文 = 明文 \oplus 密钥流$，解密是$密文 \oplus 密钥流$， 可分为ZUC-128、Z

素数筛选——Eratosthenes筛法从小素数开始，找到的素数的倍数一定是合数， 1234567891011121314prime = []is_prime = [False] * Ndef Eratosthenes(n): is_prime[0] = is_prime[1] = False for i in range(2, n + 1): is_prime[i] =