会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明公开
    • Zero-knowledge proving system and method
    • Verfahren und Vorrichtung unter Verwendung eines Null-Kenntnisprotokolls
    • EP1283616A2
    • 2003-02-12
    • EP02017697.0
    • 2002-08-07
    • NEC CORPORATION
    • Furukawa, Jun,Sako, KazueObana, Satoshi
    • H04L9/32
    • H04L9/3218H04L9/0643H04L9/0662H04L9/3013H04L9/3271
    • A zero-knowledge proving system includes a proving mechanism for proving equality or inequality of two discrete logarithms and a verifying mechanism for verifying said equality or inequality. The proving mechanism stores public information including a designated operation scheme, two input numbers α and β, and two predetermined bases g and h, private information x which is a discrete logarithm of α to the base g. After converting α, β and h to produce α', β' and γ' as follows: α' = α r ; β' = β r ; and γ' = h xr , the equality of a log α α' and log β β' and the equality of log g α' and log h γ' are proved. The verifying mechanism verifies the equality of a log α α' and log β β' and the equality of log g α' and loq h γ'. Then, the received β' and γ' are checked to determine the equality or inequality thereof, and it is determined whether the proof is acceptable, depending on the verification and the check results.
    • 零知识证明系统包括用于证明两个离散对数的相等或不等式的证明机制和用于验证所述相等或不等式的验证机制。 证明机制存储包括指定操作方案,两个输入数字α和β以及两个预定基数g和h的公共信息,作为对基g的α的离散对数的私人信息x。 转换α,β和h后,产生α',β'和γ'如下:α'=αr; beta'= beta ; 和gamma'= h ,证明了对数αα'和logββ'的相等以及loggα'和logγγ'的相等性。 验证机制验证log alpha alpha'和log beta beta'的等式和logg alpha'和loqh gamma'的相等度。 然后,检查接收的beta'和gamma'以确定其等同性或不等式,并且根据验证和检查结果确定证明是否可接受。