4第I条,第11条第11条弗吉尼亚宪法在原告向本法院的论点中进行了详细讨论。但是,在向本法院的简报中,原告没有明确的论点,该论点是第I,§1或§17的第1条第11条第11条第11条。例如,原告并未认为第I条,第1或§17条是自我执行的,因此放弃了英联邦的主权免疫。因此,鉴于原告未能向本法院提出争论,第1条或第17条提出了任何理由来撤销法院的判决,我们将审判法院局限于审判法院是否对这些原告实际上对本法院提出的论点犯了错误,例如根据jus Publicum Publicum Doctine和jus Publicum Doctine和diver I,第11条第11条。参见Cowardv。WellmontHealth Sys。,295 Va。351,367(2018)(认为上诉人承担充分的负担,以充分说明审判法院犯了错误(引用Bartleyv。Commonwealth,67Va。App。App。740,746(2017))。
众所周知,对于几乎所有现代经典和量子加密任务来说,计算假设都是必需的。对经典隐身性的最小假设是单向函数(OWF)的存在。该假设已知与许多其他加密应用的存在相当,例如伪数编号生成,伪界函数,数字签名,对称键加密和承诺(请参阅,例如,参见[GOL01,GOL04])。量子设置呈现出截然不同的图片:已知各种量子原始图,足以构建密码学,但可能比单向功能弱。最近,Tomoyuki Morimae创造了Microcrypt一词,是Impagliazzo的五个世界[IMP95]的补充,是指此类量子原始素(及其加密应用)2。MicroCrypt的租户之一是伪兰态(PRS),首先由JI,Liu和Song [JLS18]引入。这是一个有效生成的量子状态{| ϕk⟩}k∈{0,1} n,因此很难在多个副本上区分(a)|的多个副本。 ϕ k⟩从家族中采样,(b)均匀(HAAR)随机量子状态。ji,liu和Song还提供了OWF的Black Box结构。许多加密应用是基于MicroCrypt假设而知道的。也许更令人惊讶的是,MicroCrypt还包含一些隐藏狂的任务,即安全的多方计算[MY22B,BCKM21,GLSV21]和Quantum Publicum public Keys [BGHD + 23]。Subsequent to [ JLS18 ], many other tenants of Microcrypt have been introduced, such as pseudorandom function-like states ( PRFS ) [ AGQY22 ], efficiently samplable statistically far-but-computationally-indistinguishable pairs of (mixed) quan- tum states ( EFI pairs) [ Yan22 , BCQ23 ], one-way state generators [ MY22b ]和伪兰态具有破坏证明[BBSS23]。到目前为止,所有主要微型晶体3的变体已被证明在微晶中,包括对称 - 关键加密,承诺(最近,也承诺对量子状态[GJMZ23]),PRGS,PRFS,PRFS,GALBLED CICUCTITS,GALBLED CICUCTITS,MESSAGE AUTHERTICATION代码和数字信号。引起惊喜的关键因素是不可思议的和鲁迪奇的单向功能(微型级)和公钥加密4和遗忘转移(Cryptomania)[IR89]之间的分离。新的结构规定了古典不可能,因为它们涉及量子状态,例如承诺和多方计算取决于量子通信,加密方案具有量子密文。这些量子原语的证据比微小的弱点弱来自Kretschmer的PRS和OWF S [KRE21]的量子甲骨文分离。分离的甲骨文由一个族{u n}n∈N组成,其中u n是指数列表的许多HAAR随机n -qubit nimaries {u k}k∈{0,1} n。相对于此甲骨文,有一个简单的prs结构:k∈{0,1} n,让| ϕ k⟩:= u k | 0 n⟩。请注意,如果我们只考虑UNINERIES U K在标准基础上的行动,即一组状态U K | x⟩对于x∈{0,1} n,因此,对于每个n,可以将kretschmer的甲骨文视为提供2 2 2 n“本质上是Haar随机”状态5。在另一项作品中,Bouland,Fefferman和Vazirani [BFV19]显示了6 a prs构造相对于一个家庭{u n}n∈N,其中u n =(u,u - - 1)对于HAAR Random