- 博客(11)
- 收藏
- 关注
RSS订阅原创 密码协议形式化分析与可证明安全实验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关注的人