coperlm's Blog

Beaver 三元组（Beaver triples）是安全多方计算（MPC）中一个超级聪明、实用的技巧，用来安全地做乘法 通俗类比：就好像你和朋友要乘两个私密数字，但你们提前准备了一个万能“乘法模板”，可以安全又正确地偷偷算出结果。 Motivation在安全多方计算里： 加法很容易做：每个人把自己数据碎片加一下就行。 但乘法就麻烦了，因为： 两个秘密数的乘积不能直接从碎片算 又不能暴露真实数值 所以需要巧妙地”绕过去“ Beaver 三元组应运而生 DefinationBeaver 三元组表示为： (a, b, c) \quad \text{where} \quad c = a \cdot b 所有参与方各自拿到这些数的“碎片”，但不知道完整的值。 它跟我们真正要计算的 $x \cdot y$ 没有关系，只是一个通用的乘法工具。 Algorithm假设两位参与方想计算： x \cdot y但每人都只知道自己的秘密（$x$ 或 $y$），又不想泄露给别人。 步骤如下： 每人拿到 $x$ 和 $y$ 的秘密共享，还有一个 Beaver 三元组 $(a,...

之前听师兄讲PCS（多项式承诺方案），听不懂一点，甚至有一次差点睡着（bushi 今天看Siniel，又遇到PCS了，故而通俗理解记录一下，也没时间看相关论文了~浅学一下，够用即可~~ Motivation：证明者有一个多项式 $p()$，验证者指定一个数 $z$ 来验证，通过承诺确保原多项式不会改变 这里，我们介绍 KZG。更具体的： KZG 方案是基于双线性对（bilinear pairing）和加法同态加密（homomorphic encryption）的密码学技术。它允许一个发送方承诺（commit）一个多项式，并稍后提供证明（proof），以便验证者确认多项式在某个点的值是否正确。 前置知识：双线性映射 设 $G_1,G_2$ 是两个循环群，阶为素数 $p$ 设 $e:G_1\times G_2\rightarrow G_T$，满足 $e(g^a,h^b)=e(g,h)^{ab}$ 对所有 $a,b\in\mathbb{Z}_p$ 成立，其中 $g,h$ 是群 $G_1$ 和 $G_2$ 的生成元 KGC的四个步骤：（对应图二） Setup（设置）：...

本文记录了rust的学习 环境搭建vscode配置rust环境 vscode内配置快速打开Terminal，绑定openInIntegratedTerminal即可 然后下载rust依赖 因为我们都是喜家家糕守（电脑里有cpp环境），所以可以管理员运行下载这个东东即可 （没有cpp的环境我就不管了（光速逃）） 然后一路回车 安装好后，cmd里输入rustup --version & rustc --version & cargo --version测试安装成功 然后打开vscode，下载相关依赖 1234567RustRust-analyzerCodeLLDBcratesRust SyntaxRust Test LensEven Better TOML(Better TOML已弃用) 后面就可以正常使用了 新建项目 cargo new hellowrold 打开项目 cd .\helloworld\（TAB键补全） 运行项目 cargo run

2025年2月21日周五晚这场牛客，掉大分了 A题快速切出来，后面就开始坐牢了（还好记得开ll了） B题憋了半天，感觉要开不止一对堆，然后一看榜C出的人多，就去看C了 然后C挂了两发，和21年csp-s差点ce的原因一样（ 当时是数组开到N，但是i也遍历到N 这次学聪明了，数据开到N+10，然后扫到N；结果忘了后面用到i+1了 然后挂了两发才发现 B题就有意思了，开了四个堆最终，调了好半天过样例了，结果一直WA 赛后找评论区的hack数据也找不出一点问题 最终对拍了下下，记录最大值的初始值是0，但是最大值有可能是负数··· 最终成绩 虽然没掉大分，不过这场也打得挺抽象的

昨天组会，导师跟我说量子安全和后量子安全不是同一个东西，我此前一直将他们混为一谈，故今日作以区分 量子安全：指加密方法在量子计算机下仍保持安全。 反量子安全：通过增强现有算法对抗量子计算机的能力，通常是过渡性措施。 后量子安全：指完全为抵抗量子计算机的攻击而设计的新的加密算法。 UPD250910 上述内容并非完全正确，今天看了一个构造，通过量子计算机去优化一个ai算法，于是我想到 1后量子密码学是用传统计算机加密，量子计算机无法解密，但是效率低下；有没有用量子计算机加密的密码学 后面得到答案 首先，反量子这个词并不正式，故而很少见 量子密码学 (Quantum Cryptography) 定义：利用量子物理规律（如叠加态、测不准原理、不可克隆定理）来实现安全通信。 代表：量子密钥分发（QKD, BB84 协议）。 特点： 安全性基于物理定律，而不是数学难题。 窃听会留下“痕迹”，因此可以检测。 需要量子信道（光纤或自由空间），成本和距离受限。 后量子密码学 (Post-Quantum Cryptography, PQC) 定义：运行在 传统计算机...

...

本文用于记录牛客寒假赛的六场比赛的赛时解题和赛后补题 笔者水平：CF绿上蓝下 第一场 打红温了，头一次连打五个小时~ 题本身不难，就是实现上遇到比较多的障碍 A题签到题，如果没有1就输出1e9+7即可 D题也是直接模拟即可 G题排序后计算a[i]-i，就是每个点需要操作的次数了 B题一开始以为是有向图浪费了很多时间，树存在简单路径的充要条件是它是链 M题也属于思路很简单但是写起来比较困难的题 就拓扑排序一下，然后逐步拓展，取最优解即可 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071#include<iostream>#include<algorithm>#define int long longusing namespace std;const int N = 1e5;int n , a[N+10];struct...

由于后续CF比赛基本只参加VP，故特此记录一下 2025.01.17Codeforces Round 996 (Div. 2) 这把打爽了，表现分差点上紫，D题最后一分钟调出来过样例...

总结各种情况下的PPT如何制作 1. 组会汇报面向导师和同学，强调科研进展汇报和交流 格式要求： 中文字体：微软雅黑；英文字体：Times New...

往年期末考试题目 $(x,y)=(3y+4z,y)=(4z,y)$ 故A正确 简化剩余系：与模数互素且不同余 与15不互素：$1,3,5,6,9,10,12,15$ 故一个简化剩余系为 ${2,4,7,8,11,13,14}$ 也可以写作 ${7,8,11,13,14,17,19}$ 故C正确 B. 整数模素数剩余类环都是域，故B正确 C. 整环的定义是没有零因子，3*4=12是0，故C错误 原根存在的充要条件 $m=p^k$ 或 $2p^k$，其中 $p$ 为素数，$k\ge1$ 故选D A. pa=0，错误 B. 费马小定理是 $a^{p-1}=1$，错误 C. 正确 $7x$ $x$的原根数为$\phi(\phi(x))$ 22 85=5*17 $x^2\equiv1\mod5$ 和 $x^2\equiv1\mod17$...