KZG_polynomial_commitment_scheme Zero knowledge proofs have garnered an air of mystery around them, due to their mathematical complexity. They are affectionately referred to as “moon math,” as they are seen by most as otherworldly m 2023-12-18 Zero Knowledge Proof #ZKP
同态与同构 笔者第一次见到这个概念是在大二下的信息安全与数学基础课程上,由于当时太菜,直到考试完了也没能理解这是什么意思。 刚准备动笔,看到了一个网站https://wuli.wiki/online/Group2.html#exe_Group2_2,莫名有些感动 先挖个坑,后面再填吧 2023-12-18 Mathematics #Math
Diffie-Hellman_Problems The discrete logrithm problem 如果\(\mathbb{G}\)是一个阶为\(q\)的循环群,生成元为\(g\),那么集合\(\{g^0, g^1, \ldots, g^{q-1} \}\)就是\(\mathbb{G}\)的全部元素。换句话说,对于\(\mathbb{G}\)中的每个\(h\)都存在唯一的\(x \in \mathbb{Z}_q\)使得\(g^x=h\) 2023-12-18 Cryptography #Crypto
大端序与小端序 字节序,又称端序或尾序(英语:Endianness),在计算机科学领域中,指电脑内存中或在数字通信链路中,组成多字节的字的字节的排列顺序。 在几乎所有的机器上,多字节对象都被存储为连续的字节序列。例如在C语言中,一个类型为int的变量x地址为0x100,那么其对应地址表达式&x的值为0x100。且x的四个字节将被存储在电脑内存的0x100, 0x101, 0x102, 0x103位置 2023-12-13 计算机基础 #基础知识
论icloud如何破坏一名计算机学生的好心情 原本今天晚上打算把DSA,ECDSA和EdDSA那篇给写完的,傻逼icloud突然抽风,上传直接卡死,修了一晚上有感。 一个好消息:在我写这篇博客的时候,他又坏了,傻逼 Alt text 123456killall birdkillall clouddcd ~/Library/Application\ Supportmv CloudDoc CloudDocOld# 如果确保没什么问题的话 2023-12-12 日常修电脑 #Mac OS
签名算法之DSA,ECDSA和EdDSA 好记性不如烂笔头,写一篇文章详细记录一下DSA,ECDSA和EdDSA。 DSA 数字签名算法(DSA)是用于数字签名的联邦信息处理标准之一,基于模算数和离散对数的复杂度。DSA是Schnorr和ElGamal签名方案的变体。1 概述 DSA算法工作在框架公钥加密、模算数和离散对数问题,这被认为是难解问题。该算法使用由公钥和私钥组成的密钥对。私钥用于生成消息的数字签名,并且可以通过使用签名者的相应 2023-12-12 Cryptography #Crypto
拉格朗日插值 太久没学数学了,导致看到拉格朗日插值一时间都有些反应不上来,遂写下这一篇笔记。 定义 对某个多项式函数,已知有给定的k + 1个取值点: \[ (x_0,y_0),(x_1,y_1)\dots (x_k,y_k) \] 假设任意两个不同的xj都互不相同,那么应用拉格朗日插值公式所得到的拉格朗日插值多项式为: \[ L(x):=\sum_{j=0}^k y_j \ell_j(x) \] 其中每个\( 2023-12-12 Mathematics #Math
KEA-Knowledge-of-Exponent Assumption 指数知识假设 (knowledge of exponent assumption, KEA) 是指给定 \(p\) 阶群 \(\mathbb{G}\) 和群 \(\mathbb{G}_T\) 、双线性映射关系 \(e: \mathbb{G} \times \mathbb{G} \rightarrow \mathbb{G}_T 、 \mathbb{G}\) 上生成元 \(g\) 及 \(g^\alp 2023-12-12 Zero Knowledge Proof #ZKP