证明者

After having taken these measures, only those natural or mineral substances may be used, which are mentioned in annex ii (EU-Regulation) and/or the national list some of these substances can be applied only after approval by the certifier

在执行了这些措施后，只能使用那些在 ii的附属文件及美国国家的目录中被提到的天然的或矿物质，在这些物质中，有一些只有被证明者试用后才可以使用。

Zero knowledge protocol is a basic method of cryptography,which means that the certifier owns a secret,and it doesn′t reveal any other useful information about the secret to verifier when authenticated.

零知识证明是密码学中的一个基本方法，是指证明者使验证者确信证明者拥有某一个秘密值，而证明者没有向验证者泄漏关于该秘密值的任何有用信息。零知识证明的基本思想。

Certificate证明 I CERTIFY that I have explained to the deponent the necessity of making full disclosure of all relevant documents.

兹证明我已经向提供书面证词者说明提供所有相关文据的必要性。

In these cases, a first-order theorem prover may fail to terminate while searching for a proof.

在这种情况下，一阶定理证明者可能会失败而终止，而寻找证据。

Therefore once the security requirement in single prover condition is satisfied the identity authentication protocol can also be run in multi-provers condition.

因此，只要满足了其中单证明者环境下的安全要求，身份认证协议也能安全地运行在多个证明者的环境下。

Depending on the degree of automation, the prover can essentially be reduced to a proof checker, with the user providing the proof in a formal way, or significant proof tasks can be performed automatically.

根据自动化程度的证明者基本上可以归结为证明检查，与用户提供的证明在一次正式的方式，或显着的证明任务可以自动执行。

In this thesis, we investigate and show how to achieve both practical and general zero-knowledge systems that can be securely run in concurrent and resettable settings with bothconcurrent prover security and concurrent veri?er security in general public-key models.

在本学位论文中，我们研究和显示如何在广义公钥模型下构造实用的及一般的同时具有并发证明者安全和并发验证者安从而可以在并发及可重置环境中安全运行的零知识系统。

In addition to that finding--contested by many organic food advocates--the USDA announced this month that it would audit the National Organic Program, which develops standards and accredits organic certifiers.

在这个发现之外——许多有机食品提倡者所争辩的———美国农业部在这个月宣布，它将对全国有机计划项目进行审计，该项目制定标准并且向有机证明者授权。

To complete a course certifiers in the most recent three years .

参加选拔者须提供最近三年内有国内、在职进修结业证明者。

A new model of bit commitment named three-party bit commitment is proposed in this paper, in which two provers jointly commit a bit to a verifier.

该文提出了三方比特承诺模型，在该模型中，由两个证明者共同向一个验证者作出承诺。

Objective: To study the effect of polycythemia on blood oxygen saturation.

裴蕾目的：观察RBC剧增而引起的高粘血症对血氧饱和度的影响。

Based on SIMPLER algorithm in the curvilinear body-fitted coordinates, the calculations were performed for Pr=0.7, Re=10~1000 on non-orthogonal non-staggered grids which are generated by elliptic equation systems.

采用曲线坐标系下压力与速度耦合的SIMPLER算法，数值研究了周期性渐扩渐缩波纹通道内脉动流动与换热情况，流动Re数的范围为10~1000，Pr数为0.7。