coperlm's Blog

...

课程链接：https://rdi.berkeley.edu/zk-learning/ 2.Overview of Modern SNARK Constructions简短：证明短<1KB，验证快 <10ms 区块链检验，一个监控很多个 C2PA：相机里有无法提取的私钥用于签名，保证照片的正确性 构建 算数电路->有向无环图 |C|门的数量，C_SHA256≈20K NARK证明 SNARK简短 zkSNARK零知识 完备性：知道witness一定可以接受 知识可靠性：接受了，一定知道witness len(pi)=O(log|C|),time(V)=O(|x|,log|C|)（预处理阶段提取处理电路大小） 四种方案对比 健全性的定义 四种承诺 多项式承诺 一些具体算法 对多项式的承诺，一般认为是...

我们经常听到一句话：“认识先于实践。”但现实却是：我早就认识到了，却迟迟没有实践。 人总是习惯于把问题于未来 启动门槛高，阻力大 ✅ 方法一：一分钟自毁式起步法 “我就写1分钟，写得烂也没关系。” 设定一个目标，比如“写论文结构”，对自己说：“我只写一分钟，乱写也无所谓，先动手。” 哪怕是“我不知道写什么”这样的句子也写下来。关键是让你开始，而不是开始得完美。 ✅ 方法二：启动外包法 找人陪你一起开始。 视频 co-working：打开 Zoom/B站互相监督； 加入专注社区：Focusmate、Tandem； 和朋友结伴打卡：每天上线就要“开始做事”。 别靠意志力，靠“别人等你开始”来强迫启动。 ✅ 方法三：“惯性链”法 打造专属的“进入工作状态的仪式”。 比如： 倒一杯水放在桌上； 播放固定的无歌词音乐； 打开 Notion / Typora 的“工作区文档”； 设置一个 25 分钟番茄钟； 写一句话/一行代码都可以。 每天照做，大脑会形成条件反射：这些动作＝我要开始了。

...

...

我的长枪被大雨磨钝了战马也生锈了可我的冲锋是唐吉坷德式的名为「生活」的大风车我要和你大战三百回合 《唐吉诃德》是一部深具讽刺意味的长篇小说 中世纪骑士小说的虚假与荒唐 盲目的理想主义与脱离现实的英雄幻想 当时社会虚伪、愚昧和腐败 主角唐吉诃德读了太多骑士小说，便幻想自己是拯救世界的英雄，穿上盔甲，骑上瘦马，扛起长枪，出发“行侠仗义“ 但他看到的不是现实，而是幻想他看到风车，以为是巨人——于是，他冲了上去 荒唐吗？当然荒唐 可他身上有些东西，很多人也曾有过 虽然唐吉诃德疯疯癫癫、笑料百出，但他身上有一种令人动容的力量：执着、善良、尊严感和信仰感 拿他取笑之余，反而通过他的失败，可以看到——...

前两天配置了butterfly主题博客，昨天想配置访客数统计，但是busuanzi一直出问题，索性配置了waline评论区，因为它附带访客统计功能 今天打开一看，发现全局统计出问题了（昨天还好好的） 仔细debug了许久，发现别的地方没问题，正打算翻源码，突然意识到有可能是浏览器的问题 解决方案：把这玩意关了 然后现在好了 如果有相关的防广告插件，也可以一起关闭试一试 问了下群友，说是可能因为Brave浏览器当隐私保护屏蔽了访客统计，不过这个功能事实上也确实是跟踪器 250715UPDATE 又崩了，不知道怎么肥四（哭

本来想敲一遍的但是看我的字貌似能看懂就直接发上来啦~