- 2024-09-12最小割树
最小割树是指构造一颗树,使得任意\(u,v\)的最小割等于树上两点之间的最小边权,且\(u,v\)的割边方案就是这条边两端割边方案。这里我们不考虑方案相同,只要求答案相同,这个叫等价流树。构造:选取任意两点\(u,v\),连\((u,v,f(u,v))\)的边。则整个点集被分为两个联通块\(S\)
- 2024-08-02区块链的共识机制
区块链的共识机制确保分布式网络中所有参与节点对区块链状态达成一致的算法说人话怎么证明你的东西是你的1.工作量证明(ProofofWork,PoW)概念:通过解决复杂的数学问题来竞争记账权,最先解出问题的节点获得区块奖励。应用:比特币、以太坊(计划从PoW转为PoS)。优点:高度去中
- 2024-07-29Trick 学习笔记(1)实数范围内随机
实数范围内随机学习笔记有一些题目很好玩,它的随机不是在有限整数范围内,而是在实数范围内随机,然后让你算什么什么的期望,而这个期望往往又是并不复杂的分数。在线段上任取\(n\)点就是经典例子。看起来很简单,但是一旦跟无穷相关,感觉不积分不太可做。可惜,我并不会积分,去世!现在
- 2024-07-17AP Calculus Unit 1-5
全文的\(d\)和\(e\)不会写作正体\(\textd\)和\(\texte\),因为我懒,而且KhanAcademy上也没有这样写。Unit1:LimitsandcontinuityLimitTODO:Continuity若\(f\)满足:\[\lim\limits_{x\rightarrowc}f(x)=f(c)\]则称\(f\)在\(x=c\)处连续。若\(f\)
- 2024-06-03第一周
GiantGraph首先\(10^{18}\)很大,所以我们优先选取\(x+y+z\)最大的点。按\(x+y+z\)从大到小选择即可。但是时间复杂度为\(\mathcalO(n^3)\)。给边定向,边从小连到大,那么整个图就是一个DAG。发现对于每个点\(i\):如果\(i\)的出边被选了,则不能选择\(i\)。如果都
- 2024-04-1152 Things: Number 8: How does interaction help in computation, and what is the class IP?
52Things:Number8:Howdoesinteractionhelpincomputation,andwhatistheclassIP?52件事:数字8:交互如何帮助计算,什么是类IP? Thisisthelatestinaseriesofblogpoststoaddressthelistof'52ThingsEveryPhDStudentShouldKnowToDoCryptogr
- 2024-04-10创建一个简单的区块链,并使用 Flask 框架提供一个简单的 Web 接口来与区块链交互。
目录前言一、代码展示二、代码注释1.简单的区块链模拟实现,这段代码定义了一个简单的区块链类,可以创建一个新的区块链,并能够添加新的区块到链上,同时获取最新的区块信息。这个模拟的区块链可以用于教学或演示区块链的基本概念。2.这段代码是一个简单的工作量证明(ProofofWo
- 2024-04-03ZKP价值链路的垂直整合
1.ZKPproof生命周期从ZKP(zero-knowledgeproof)生命周期,先看围绕ZKP的价值链路形成:1)Userintent用户意图:以某用户意图为起点,如想要在某zk-rollup上swap某token、证明其身份、执行某衍生品交易等等。2)Proofrequest请求生成证明:应用执行交易,通常是在某zkVM(zero-knowledge
- 2023-11-13HyperLedger Fabric 1.2 区块链技术定义(2.1)
区块链技术指使用点对点传输、共识机制、加密算法等技术,保证分布式数据库区块写入链中数据的一致性,达到去中心化和不可篡改的目的。 区块链就是一种特殊的分布式数据库,使用现有的各种成熟的技术,把各种技术集成在一起,实现多方共识、去中心化、分布式和不可篡改等技术特点
- 2023-09-14WiFi6 Series IP68 Maxon explosion-proof WiFi base station
Thereareavarietyofmaxonexplosion-proofWiFibasestations.It'satypeofwirelessnetworkingthatisdesignedtobeusedinhazardousareaswherethereisariskofexplosion,suchasoilandgasrefineries,chemicalplants,andpowerplants.
- 2023-05-312305.19270Learning without Forgetting for Vision-Language Models
https://arxiv.org/pdf/2305.19270.pdf2305.19270.pd AbstractClass-IncrementalLearning(CIL)orcontinuallearningisadesiredcapabilityintherealworld,whichrequiresalearningsystemtoadapttonewtaskswithoutforgettingformerones.Whiletradi
- 2023-04-0220230402 Zero-Knowledge Proof
https://zhuanlan.zhihu.com/p/144847471零知识证明想要解决的问题是,让一方向另一方证明他知道某个问题的答案但却不想透露该问题的具体答案。是不是有种贱贱的感觉?https://blog.csdn.net/qq_35739903/article/details/119000401https://blog.csdn.net/u014134327/article
- 2023-03-17区块链
区块链是一个注重安全和可信度胜过效率的一项技术,如果说互联网技术解决的是通讯问题,区块链技术解决的则是信任问题。Consistency侧重的是内容在时间顺序上的一致和统一,而
- 2023-03-13Solidity实现默克尔树 Merkle Tree
MerkleTree,也叫默克尔树或哈希树,是区块链的底层加密技术,被BTC和Ethereum区块链广泛采用。MerkleTree是一种自下而上构建的加密树,每个叶子是对应数据
- 2023-02-20圆锥曲线 / conic section の 推导 / proof
#####椭圆/eclipse-equation/公式:$\frac{x^2}{a^2}+\frac{y^2}{b^2}=1\/\\frac{y^2}{a^2}+\frac{x^2}{b^2}=1\quad\left(a>b>0\right)$-顶点:$(\pma,0),(0,\pmb
- 2023-02-19CF923D Picking Strings
偏简单的Ad-hoc题,但质量很高。Description传送门SolutionObservation1:我们可以将B换成C,也可以将C换成B。Proof:容易发现B->AC->AAB->AAAC->C,且C->
- 2023-01-18零知识证明(Zero-Knowledge Proof)
零知识证明(ZeroKnowledgeProof)指的是,证明的人可以向验证的人,在不透露任何有用信息的情况下,使得验证者相信该结论是对的。三种零知识证明技术:zk-SNARKs,Zk-STARKs和
- 2022-12-11离散数学--关键leeds笔记
TypesofProofdirectproofProveα→βby:assumeαistrueusethistoderiveβ.indirectproofaproofthatisnotdirect;includes:proofbycontraposition
- 2022-11-21Mathematics for Computer Science1--Proofs
Simplyput,aproofisamethodofestablishingtruth.Likebeauty,“truth”sometimesdependsontheeyeofthebeholder,anditshouldnotbesurprisingth
- 2022-11-19基于Java 语言实现区块链的 Proof of Concept 版本
基于Java语言实现区块链的ProofofConcept版本1.创建区块类/***区块链里边存放的数据是:*data数据*preHash上一个区块的hash值*hash自己的hash值它
- 2022-10-29Bitcoin Notes
Abstract.Apurelypeer-to-peerversionofelectroniccashwouldallowonlinepaymentstobesentdirectlyfromonepartytoanotherwithoutgoingthroughaf
- 2022-10-26Web3.0 - 区块链
Web3.0-区块链最近在学习web3.0相关知识,权且做些笔记。1.相关概念什么是区块链呢?简单地回答---区块链就是一个又一个区块组成的链条。专业一点回答这个问题:狭
- 2022-08-30文献学习-Proofs for Satisfiability Problems
ProofsforSatisfiabilityProblemsMarijnJ.H.HeuleandArminBiere1TheUniversityofTexasatAustin,UnitedStates2JohannesKeplerUniversity,Linz,Aus