- 博客(11)
- 收藏
- 关注
原创 密码协议形式化分析与可证明安全实验2——使用circom和snarkjs来创建一个零知识snark电路
由JS和纯Web Assembly实现的zkSNARK,内部实现了Groth16、Plonk和FFLONK(Beta版)三个算法。snarkjs继承了所有协议需要的组件,包括初始可信设置的NMPC执行过程(用以计算全局的的幂)和计算指定电路的证明。snarkjs基于nodejs,计算采用circom编译的电路。snarkjs采用ES模式,可以直接部署到rollup或webpack等项目中。
2024-01-09 17:13:25
1563
2
原创 密码协议形式化分析与可证明安全实验1——使用proverif来分析密码协议
实验环境: Windows 11 X64根据ProVerif用户手册1.4.3节,Windows用户可以使用二进制发行版安装ProVerif。首先现在你想要的文件路径中新建一个proverif文件夹。
2024-01-08 16:10:36
1823
1
原创 {2018.5.8}荀(gou)彧(huo)的贪心初步小结
在于递归和递推做了几个晚上的斗争之后;荀彧同学来到了贪心算法;讲真,有时候题目看懂了;但是!一点思路都没有;内心绝望;在各位大佬的帮助下;荀彧同学算是稍微学会了一点吧;在这里做个小结;1>修理牛棚上题目:题目描述在一个暴风雨的夜晚,农民约翰的牛棚的屋顶、门被吹飞了。 好在许多牛正在度假,所以牛棚没有住满。 有些牛棚里有牛,有些没有。 所有的牛棚有相同的宽度。 自顶遗失以后,农民约翰必须尽快在...
2018-05-09 21:25:04
376
原创 {2018.5.7}荀(gou)彧(huo)同学的第二次考试小总结
不知不觉就第二次考试了;荀彧同学由于有些事没有完成考试;但是今天回来还是好好的完成了所有题;确实学到了很多;1>恐怖服装上题目:【问题描述】万圣节又到了!农场主—小查打算带他的奶牛去参加一个化装晚会,但是,小查只做了一套能容下两头总长不超过S(1 <= S <= 1,000,000)的牛的恐怖服装。小查养了N(2 <= N <= 20,000)头按1..N顺序编号的奶...
2018-05-07 20:16:27
485
原创 {2018.4.28}荀(gou)彧(huo)同学的递归小结
终于做到递归了啊;很有意思的东西;还是要做个小结;边讲题边总结吧;1>整数划分;上题目:题目描述将正整数n表示成一系列正整数之和:n=n1+n2+?+nk,其中8>=n1≥n2≥?≥nk≥1,k≥1。正整数n的这种表示称为正整数n的划分。例如正整数6有如下11种不同的划分: 6; 5+1; 4+2, 4+1+1; 3+3, 3+2+1, 3+1+1+...
2018-05-04 18:28:28
270
原创 {2018.4.26}荀(gou)彧(huo)同学的排序整合时间
今天又是一个值得纪念的日子;荀彧同学敲完了第一本书——《入门篇》;奈何由于学校资源问题,荀彧同学拿到了某高一学长学姐用过的《提高篇》;准备开始自己的信奥提高生涯;打开书发现第二单元前半部分还是排序;忽然意识到排序可以说是很重要了;所以还是要整合一下;那么,let's start!1>选择排序;基本思想:处理第i个元素的时候,找到它后面所有数的最小值。如果这个最小值比它小,就相互交换;//其实...
2018-04-26 21:09:12
335
原创 {2018.4.21}荀(gou)彧(huo)同学的函数与排序整合
今天是一个值得纪念的日子;荀彧同学刷完了oj上第一页所有题;第99道题,令荀彧同学感触颇深,虽然并不是独立完成的(借鉴了连浩明同学的代码),但是还是有必要整合一下;老规矩,先把题目放上来:题目描述在使用离散化方法编程时,通常要知道每个数排序后的编号(rank值)。相同的数对应一个编号。rank[i]表示第i个数在所有数里的排名。输入格式第1行:一个整数N,范围在[1…100000]。 第2行:有N...
2018-04-21 18:53:50
920
1
原创 {2018.4.12}荀(gou)彧(huo)同学的第一次考试小总结
接下来就和大家分享一下这次考试值得反思(坑人)之处1>第一题《恐怖的老师》不知道为什么老师的名字叫虚伪,可能是虚伪本人出的题目吧;题是很水的,但是敲起来小错误还是蛮多的;先把题目放上来吧:{【问题描述】 暑假开学了,同学们都迫不及待想分享自己暑假快乐的体验。可是,XW老师要维护安静的课堂秩序。他悄悄的打听到了一些消息:某个同学写的纸条,会给同一排,或者同一列的一位同学。最终,这张纸条...
2018-04-12 20:48:38
323
原创 {2018.4.10}荀(gou)彧(huo)的数组整合时间
前天晚上终于结束了和for循环的历史性斗争;那70道题基本上都是水过去的;脑子不够用嘛;只能看看人家代码然后自己再思考;最后千辛万苦码一个三十几行的小程序出来;编译的时候还是一片血红;内心绝望;然后接下来就开始了最基本的一维数组的题目;讲真;荀彧同学眼神不大好;看到的是“一堆数组”(岳老师估计会哭晕在宿舍里);给大家整合一下一堆数组的基本操作吧;oj上的#76中的一些基本操作(五十多行代码真的有点...
2018-04-10 07:46:23
237
原创 {2018.4.9}盘点一下荀(gou)彧(huo)同学犯的低级错误
接触信奥也有两周多了,接下来就让荀(gou)彧(huo)来总结一下这些日子里犯的那些低级错误。1>那些被漏掉的‘;’、‘}’哭晕在角落;把‘i’看成‘1’谁又能明白?cin和cout的大于小于老是neng反;以上是荀彧到现在还在犯的低级错误;end...2>依稀记得那道坑人的判断三角形;相信很多嘤才们被坑过;由于题目没读仔细;先敲了一长串代码;然后从头到尾检查了一遍;丝毫没毛病;编译的...
2018-04-09 17:40:26
401
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人