Zero-knowledge proof (original) (raw)

About DBpedia

الإثبات بلا كشف في علم التعمية طريقة يجوز بها لأحدهم أن يثبت للآخر آخر أنه يعرف مقدار الشيء، دون الكشف عن الشيء بذاته ولا أي معلومات أخرى غير أنه يعرف مقدار ذاك الشيء.

thumbnail

Property Value
dbo:abstract الإثبات بلا كشف في علم التعمية طريقة يجوز بها لأحدهم أن يثبت للآخر آخر أنه يعرف مقدار الشيء، دون الكشف عن الشيء بذاته ولا أي معلومات أخرى غير أنه يعرف مقدار ذاك الشيء. (ar) Ein Null-Wissen-Beweis kann mit hoher Wahrscheinlichkeit nachweisen, dass man ein Geheimnis weiß, ohne das Geheimnis zu verraten. Dieser Nachweis passiert meist nach einem Frage-Antwort-Protokoll und hat viele Anwendungen in der Kryptografie. Eine Partei versucht zu beweisen, die andere Partei verifiziert. Der Beweiser überzeugt dabei den Verifizierer mit einer gewissen Wahrscheinlichkeit davon, dass er ein Geheimnis kennt, ohne dabei Informationen über das Geheimnis selbst bekannt zu geben. Ein bekanntes Verfahren ist das Feige-Fiat-Shamir-Protokoll. Die Schnorr-Identifikation erfordert nur drei Schritte zur Kommunikation und der Beweiser kann den Verifizierer nur mit minimaler Wahrscheinlichkeit davon überzeugen, ein Geheimnis zu kennen, das er nicht kennt. Der Null-Wissen-Beweis heißt auch kenntnisfreier Beweis, kenntnisfreies Protokoll, Zero-Knowledge-Proof oder Zero-Knowledge-Protocol. (de) Une preuve à divulgation nulle de connaissance est une brique de base utilisée en cryptologie dans le cadre de l'authentification et de l'identification. Cette expression désigne un protocole sécurisé dans lequel une entité, nommée « fournisseur de preuve », prouve mathématiquement à une autre entité, le « vérificateur », qu'une proposition est vraie sans toutefois révéler d'autres informations que la véracité de la proposition. En pratique, ces schémas se présentent souvent sous la forme de protocoles de type « défi/réponse » (challenge-response). Le vérificateur et le fournisseur de preuve s'échangent des informations et le vérificateur contrôle si la réponse finale est positive ou négative. Les anglophones utilisent l'abréviation ZKIP pour Zero Knowledge Interactive proof. Il existe également des variantes sans interaction (non-interactive zero-knowledge proof). Celles-ci peuvent-être construites dans le modèle de l'oracle aléatoire par l'heuristique de Fiat-Shamir. (fr) En criptografía, un protocolo de conocimiento cero o prueba de conocimiento nulo, también conocidas por las siglas ZKP (del inglés Zero Knowledge Proof), es un protocolo criptográfico que establece un método para que una de las partes pruebe a otra que una declaración (generalmente matemática) es cierta, sin revelar nada más que la veracidad de la declaración. (es) 영지식 증명(零知識 證明, 영어: zero-knowledge proof) 또는 제로 널리지 프로토콜(영어: zero-knowledge protocol)은 암호학에서 누군가가 상대방에게 어떤 사항(statement)이 참이라는 것을 증명할 때, 그 문장의 참 거짓 여부를 제외한 어떤 것도 노출되지 않는 interactive한 절차를 뜻한다. 어떤 문장이 참이라는 것을 증명하려는 쪽을 증명자(證明者, prover)라 하고, 증명 과정에 참여하여 증명자와 정보를 주고 받는 쪽을 검증자 (檢證者, verifier)라고 한다. 영지식 증명에 참여하는 당사자들이 상대방을 속이려는 목적으로 프로토콜을 임의로 변경하는 경우, 당사자들이 부정직하다 또는 정직하지 않다 (dishonest, 혹은 cheating)고 한다. 그 외의 경우에는, 정직하다고 한다. 영지식 증명은 다음과 같은 세가지 성질을 만족시켜야 한다. 1. * 완전성(完全性, completeness): 어떤 문장이 참이면, 정직한 증명자는 정직한 검증자에게 이 사실을 납득시킬 수 있어야 한다. 2. * 건실성(健實性, soundness): 어떤 문장이 거짓이면, 어떠한 부정직한 증명자라도 정직한 검증자에게 이 문장이 사실이라고 납득시킬 수 없어야 한다. 3. * 영지식성 (零知識性, zero-knowledgeness): 어떤 문장이 참이면, 검증자는 문장의 참 거짓 이외에는 아무것도 알 수 없어야 한다. (ko) In cryptography, a zero-knowledge proof or zero-knowledge protocol is a method by which one party (the prover) can prove to another party (the verifier) that a given statement is true while the prover avoids conveying any additional information apart from the fact that the statement is indeed true. The essence of zero-knowledge proofs is that it is trivial to prove that one possesses knowledge of certain information by simply revealing it; the challenge is to prove such possession without revealing the information itself or any additional information. If proving a statement requires that the prover possess some secret information, then the verifier will not be able to prove the statement to anyone else without possessing the secret information. The statement being proved must include the assertion that the prover has such knowledge, but without including or transmitting the knowledge itself in the assertion. Otherwise, the statement would not be proved in zero-knowledge because it provides the verifier with additional information about the statement by the end of the protocol. A zero-knowledge proof of knowledge is a special case when the statement consists only of the fact that the prover possesses the secret information. Interactive zero-knowledge proofs require interaction between the individual (or computer system) proving their knowledge and the individual validating the proof. A protocol implementing zero-knowledge proofs of knowledge must necessarily require interactive input from the verifier. This interactive input is usually in the form of one or more challenges such that the responses from the prover will convince the verifier if and only if the statement is true, i.e., if the prover does possess the claimed knowledge. If this were not the case, the verifier could record the execution of the protocol and replay it to convince someone else that they possess the secret information. The new party's acceptance is either justified since the replayer does possess the information (which implies that the protocol leaked information, and thus, is not proved in zero-knowledge), or the acceptance is spurious, i.e., was accepted from someone who does not actually possess the information. Some forms of non-interactive zero-knowledge proofs exist, but the validity of the proof relies on computational assumptions (typically the assumptions of an ideal cryptographic hash function). (en) 暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく証明できるようなやりとりの手法である。ゼロ知識対話証明（ZKIP）とも呼ばれる。 (ja) In crittografia una dimostrazione a conoscenza zero o protocollo a conoscenza zero è un metodo interattivo utilizzato da un soggetto per dimostrare ad un altro soggetto che una affermazione (solitamente matematica) è vera, senza rivelare nient'altro oltre alla veridicità della stessa. (it) Dowód z wiedzą zerową – procedura kryptograficzna, w której jedna ze stron potrafi udowodnić drugiej, że dysponuje pewną informacją, bez jej ujawniania. Właściwości takiej procedury są następujące: * Jeśli dowodzący dysponuje daną informacją, może zawsze przekonać o tym weryfikującego * Jeśli dowodzący nie dysponuje daną informacją, może oszukać weryfikującego, że nią dysponuje, z prawdopodobieństwem dowolnie bliskim zera (chociaż nie równym 0) Dowody takie znajdują zastosowanie w procesach uwierzytelniania, zwłaszcza gdy równocześnie konieczne jest zapewnienie określonego poziomu anonimowości. (pl) Em criptografia, uma prova de conhecimento zero ou protocolo de conhecimento zero é um método pelo qual uma parte (o provador) pode provar à outra parte (o verificador) que uma determinada afirmação é verdadeira, sem transmitir qualquer informação além do fato de que a afirmação é realmente verdadeira. A essência das provas de conhecimento zero é que é trivial provar que alguém possui conhecimento de certas informações simplesmente revelando-as. O desafio é provar tal posse sem revelar a própria informação ou qualquer informação adicional. Se a prova de uma afirmação requer que o provador possua algumas informações secretas, então o verificador não será capaz de provar a afirmação a ninguém sem possuir as informações secretas. A declaração sendo provada deve incluir a afirmação de que o provador possui tal conhecimento, mas sem incluir nem transmitir o próprio conhecimento na afirmação. Caso contrário, a declaração não seria provada em conhecimento zero porque fornece ao verificador informações adicionais sobre a declaração ao final do protocolo. Uma prova de conhecimento de conhecimento zero é um caso especial quando a afirmação consiste apenas no fato de que o provador possui a informação secreta. Provas interativas de conhecimento zero requerem interação entre o indivíduo (ou sistema de computador) que prova seu conhecimento e o indivíduo que está validando a prova. Um protocolo que implementa provas de conhecimento de conhecimento zero deve necessariamente exigir uma entrada interativa do verificador. Esta entrada interativa é geralmente na forma de um ou mais desafios, de modo que as respostas do provador convencerão o verificador se e somente se a afirmação for verdadeira, ou seja, se o provador possuir o conhecimento alegado. Se esse não for o caso, o verificador pode registrar a execução do protocolo e reproduzi-la para convencer outra pessoa de que possui as informações secretas. A aceitação da nova parte é justificada pelo fato de o reprodutor possuir as informações (o que implica que o protocolo vazou informações e, portanto, não foi provado em conhecimento zero) ou a aceitação é espúria, ou seja, foi aceita por alguém que na verdade não possue as informações. Existem algumas formas de provas de conhecimento zero não interativas, mas a validade da prova depende de suposições computacionais (normalmente as suposições de uma função de dispersão criptográfica ideal). (pt) Доказа́тельство с нулевы́м разглаше́нием (информа́ции) в криптографии (англ. Zero-knowledge proof) — интерактивный криптографический протокол, позволяющий одной из взаимодействующих сторон («The verifier» — проверяющей) убедиться в достоверности какого-либо утверждения (обычно математического), не имея при этом никакой другой информации от второй стороны («The prover» — доказывающей). Причём последнее условие является необходимым, так как обычно доказать, что сторона обладает определёнными сведениями в большинстве случаев тривиально, если она имеет право просто раскрыть информацию. Вся сложность состоит в том, чтобы доказать, что у одной из сторон есть информация, не раскрывая её содержание. Протокол должен учитывать, что доказывающий сможет убедить проверяющего только в случае, если утверждение действительно доказано. В противном случае сделать это будет невозможно, или крайне маловероятно из-за вычислительной сложности. Под интерактивностью протокола подразумевается непосредственный обмен информацией сторонами. Таким образом, рассматриваемый протокол требует наличия интерактивных исходных данных (interactive input) от проверяющего, как правило, в виде задачи или проблемы. Цель легального доказывающего (имеющего доказательство) в этом протоколе — убедить проверяющего в том, что у него есть решение, не выдав при этом даже части «секретного» доказательства («нулевое разглашение»). Цель проверяющего же — это удостовериться в том, что доказывающая сторона «не лжёт». Также были разработаны протоколы доказательства с нулевым разглашением, для которых не требовалось наличия интерактивных исходных данных, при этом доказательство которых, как правило, опирается на предположение об идеальной криптографической хеш-функции, то есть предполагается, что выход однонаправленной хеш-функции невозможно предсказать, если не известен её вход. Доказательство с нулевым разглашением используется в нескольких блокчейнах, кроме того, находит применение для проверки наличия сведений без передачи самих сведений. (ru) Ett nollkunskapsbevis (eng. Zero-knowledge proof) eller nollkunskapsprotokoll är, inom kryptografi, ett sätt att bevisa ett sant påstående utan att avslöja någon information utöver faktumet att påståendet är sant. Bevisande parten ska även ha någon information som onekligen skulle kunna bevisa påståendet, men som parten vill hålla hemlig. Att bevisaren har den hemliga informationen bör komma fram i påståendet. Om påståendet endast hävdar faktumet att bevisaren har den hemliga informationen, kallas beviset istället för ett nollkunskapsbevis av kunskap. Nollkunskapsbevis används i praktiken när bevisaren har information som har högt värde i hemligt tillstånd. Ett vanligt förekommande exempel är om man ska sälja en hemlig produkt till en beställare. Man vill inte visa produkten förrän man vet att man får betalt, och beställaren vill inte betala förrän den är helt säker på att man har produkten. Principen med ett nollkunskapsbevis är att man då ska kunna övertyga beställaren att man har produkten, utan att överhuvudtaget visa produkten. Beviset utgår ifrån ett läge där en ärlig bevisare har någon hemlig information, men att den som verifierar inte gör det. Bevisaren bevisar därefter att vederbörande innehar denna information genom en rad kontroller. Trots "beviset" finns det en risk med varje kontroll, då en bevisare skulle kunna ta sig igenom kontrollen genom att gissa. Dock så kan en bevisare med hemliga informationen teoretiskt sätt klara oändligt med kontroller, och eftersom risken att vederbörande gissar rätt minskar med varje kontroll blir felet oändligt litet och därmed försumbart. I praktiken kan en verifierare givetvis inte ställa ett oändligt antal kontroller, men med säkra kontroller minskar felet fort. Till exempel, ifall det finns en 90% chans att bevisaren har hemliga informationen efter en kontroll, och om denna kontroll blir sann 9 gånger, är risken att bevisaren inte har den hemliga informationen (en på miljarden). Fler kontroller minskar risken för fel, men det finns alltid en chans för en fuskande bevisare att bevisa ett falskt påstående. Därför säger man att ett nollkunskapsbevis, till skillnad från traditionella matematiska bevis, inte är determinerat. På grund av hur ett nollkunskapsbevis är uppbyggt finns det alltid en risk att ett falskt påstående kan bevisas, även om det är högst osannolikt. Därför kallas nollkunskapsbevis istället för sannolika "bevis". (sv) Доведення з нульовим розголошенням (англ. zero-knowledge proof, zero-knowledge protocol) — метод для доведення однією стороною іншій, що твердження (зазвичай — математичне) — істинне, без розкриття будь-якої іншої інформації, окрім достовірності твердження. (uk) 密码学中，零知識證明（英語：zero-knowledge proof）或零知識協議（zero-knowledge protocol）是一方（證明者）向另一方（檢驗者）證明某命題的方法，特點是過程中除「該命題為真」之事外，不泄露任何資訊。因此，可理解成「零洩密證明」。例如，欲向人證明自己擁有某情報，則直接公開該情報即可，但如此則會將該細節亦一併泄露；零知識證明的精粹在於，如何證明自己擁有該情報而不必透露情報內容。這也是零知識證明的難點。 若該命題的證明，需要知悉某秘密方能作出，則檢驗者單憑目睹證明，而未獲悉該秘密，仍無法向第三方證明該命題（即單單轉述不足以證明）。待證的命題中，必定包含證明者宣稱自己知道該秘密，但過程中不能傳達該秘密本身。否則，協議完結時，已給予檢驗者有關命題的額外的資訊。此類「知識的零知識證明」是零知識證明的特例，其中待證命題僅有「證明者知道某事」。 交互式零知識證明中，需要各方互動，靠通訊過程證明某方具備某知識，而另一方檢驗該證明是否成立。 也有某種，但證明之所以成立，依賴計算假設（典型假設是理想的密碼雜湊函數）。 (zh)
dbo:thumbnail wiki-commons:Special:FilePath/Zkip_alibaba1.png?width=300
dbo:wikiPageID 450541 (xsd:integer)
dbo:wikiPageLength 57735 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1120782457 (xsd:integer)
dbo:wikiPageWikiLink dbr:Princeton_Plasma_Physics_Laboratory dbr:Princeton_University dbr:Probabilistic_Turing_machine dbr:Moni_Naor dbr:NP_(complexity) dbr:Nuclear_disarmament dbr:Topics_in_cryptography dbc:Zero-knowledge_protocols dbr:Interactive_proof_system dbr:Proof_of_knowledge dbr:Cryptographic_hash_function dbr:Cryptography dbr:One-time_pad dbr:One-way_function dbr:Russell_Impagliazzo dbr:Quadratic_residue dbr:One_way_function dbr:Cloudflare dbr:Co-NP dbr:Graph_(discrete_mathematics) dbr:Modular_multiplicative_inverse dbr:Monero_(cryptocurrency) dbr:NP-complete dbr:Cryptographic_protocol dbr:László_Babai dbr:Blum_integer dbr:Silvio_Micali dbr:Color_blindness dbr:Commitment_scheme dbr:Complement_(complexity) dbr:Computational_indistinguishability dbr:Zcash dbr:Zcoin dbr:Zerocoin_protocol dbr:Feige–Fiat–Shamir_identification_scheme dbr:Authentication dbr:Avi_Wigderson dbr:Gödel_Prize dbr:Amit_Sahai dbr:Cynthia_Dwork dbr:Firo_(cryptocurrency) dbr:Discrete_logarithm dbr:Graph_isomorphism dbr:Graph_isomorphism_problem dbr:Hamiltonian_path dbr:Jean-Jacques_Quisquater dbr:Prime_number dbr:Arrow_information_paradox dbc:Theory_of_cryptography dbr:Charles_Rackoff dbr:Manuel_Blum dbr:Group_theory dbr:Graph_coloring_problem dbr:Graph_nonisomorphism_problem dbr:Oded_Goldreich dbr:Shafi_Goldwasser dbr:Turing_machine dbr:Negligible_function dbr:Moti_Yung dbr:Witness-indistinguishable_proof dbr:Shlomo_Moran dbr:Non-interactive_zero-knowledge_proof dbr:Pairing-based_cryptography dbr:Zero-knowledge_password_proof dbr:Statistically_close dbr:Ring_signature dbr:Pseudo-random_number_generator dbr:Probabilistic_polynomial_time dbr:Multi-party_computation dbr:Witness_indistinguishable_proof
dbp:align right (en)
dbp:caption Peggy reliably appears at the exit Victor names (en) Victor chooses an exit path (en) Peggy randomly takes either path A or B, while Victor waits outside (en)
dbp:direction vertical (en)
dbp:image Zkip alibaba1.png (en) Zkip alibaba2.png (en) Zkip alibaba3.png (en)
dbp:width 150 (xsd:integer)
dbp:wikiPageUsesTemplate dbt:! dbt:Citation_needed dbt:Colend dbt:Math dbt:More_citations_needed dbt:Multiple_image dbt:No dbt:Redirect dbt:Reflist dbt:Short_description dbt:Snd dbt:Var dbt:Yes dbt:Cols
dct:subject dbc:Zero-knowledge_protocols dbc:Theory_of_cryptography
gold:hypernym dbr:Method
rdf:type dbo:Software yago:WikicatAuthenticationMethods yago:WikicatCryptographicAlgorithms yago:WikicatCryptographicProtocols yago:Ability105616246 yago:Abstraction100002137 yago:Act100030358 yago:Activity100407535 yago:Algorithm105847438 yago:Cognition100023271 yago:Communication100033020 yago:Direction106786629 yago:Event100029378 yago:Know-how105616786 yago:Message106598915 yago:Method105660268 yago:Procedure101023820 yago:Protocol106665108 yago:PsychologicalFeature100023100 yago:WikicatZero-knowledgeProtocols yago:YagoPermanentlyLocatedEntity yago:Rule105846932 yago:Rule106652242
rdfs:comment الإثبات بلا كشف في علم التعمية طريقة يجوز بها لأحدهم أن يثبت للآخر آخر أنه يعرف مقدار الشيء، دون الكشف عن الشيء بذاته ولا أي معلومات أخرى غير أنه يعرف مقدار ذاك الشيء. (ar) En criptografía, un protocolo de conocimiento cero o prueba de conocimiento nulo, también conocidas por las siglas ZKP (del inglés Zero Knowledge Proof), es un protocolo criptográfico que establece un método para que una de las partes pruebe a otra que una declaración (generalmente matemática) es cierta, sin revelar nada más que la veracidad de la declaración. (es) 暗号学において、ゼロ知識証明（ぜろちしきしょうめい、zero-knowledge proof）とは、ある人が他の人に、自分の持っている（通常、数学的な）命題が真であることを伝えるのに、真であること以外の何の知識も伝えることなく証明できるようなやりとりの手法である。ゼロ知識対話証明（ZKIP）とも呼ばれる。 (ja) In crittografia una dimostrazione a conoscenza zero o protocollo a conoscenza zero è un metodo interattivo utilizzato da un soggetto per dimostrare ad un altro soggetto che una affermazione (solitamente matematica) è vera, senza rivelare nient'altro oltre alla veridicità della stessa. (it) Доведення з нульовим розголошенням (англ. zero-knowledge proof, zero-knowledge protocol) — метод для доведення однією стороною іншій, що твердження (зазвичай — математичне) — істинне, без розкриття будь-якої іншої інформації, окрім достовірності твердження. (uk) 密码学中，零知識證明（英語：zero-knowledge proof）或零知識協議（zero-knowledge protocol）是一方（證明者）向另一方（檢驗者）證明某命題的方法，特點是過程中除「該命題為真」之事外，不泄露任何資訊。因此，可理解成「零洩密證明」。例如，欲向人證明自己擁有某情報，則直接公開該情報即可，但如此則會將該細節亦一併泄露；零知識證明的精粹在於，如何證明自己擁有該情報而不必透露情報內容。這也是零知識證明的難點。 若該命題的證明，需要知悉某秘密方能作出，則檢驗者單憑目睹證明，而未獲悉該秘密，仍無法向第三方證明該命題（即單單轉述不足以證明）。待證的命題中，必定包含證明者宣稱自己知道該秘密，但過程中不能傳達該秘密本身。否則，協議完結時，已給予檢驗者有關命題的額外的資訊。此類「知識的零知識證明」是零知識證明的特例，其中待證命題僅有「證明者知道某事」。 交互式零知識證明中，需要各方互動，靠通訊過程證明某方具備某知識，而另一方檢驗該證明是否成立。 也有某種，但證明之所以成立，依賴計算假設（典型假設是理想的密碼雜湊函數）。 (zh) Ein Null-Wissen-Beweis kann mit hoher Wahrscheinlichkeit nachweisen, dass man ein Geheimnis weiß, ohne das Geheimnis zu verraten. Dieser Nachweis passiert meist nach einem Frage-Antwort-Protokoll und hat viele Anwendungen in der Kryptografie. Eine Partei versucht zu beweisen, die andere Partei verifiziert. Der Beweiser überzeugt dabei den Verifizierer mit einer gewissen Wahrscheinlichkeit davon, dass er ein Geheimnis kennt, ohne dabei Informationen über das Geheimnis selbst bekannt zu geben. Ein bekanntes Verfahren ist das Feige-Fiat-Shamir-Protokoll. Die Schnorr-Identifikation erfordert nur drei Schritte zur Kommunikation und der Beweiser kann den Verifizierer nur mit minimaler Wahrscheinlichkeit davon überzeugen, ein Geheimnis zu kennen, das er nicht kennt. (de) Une preuve à divulgation nulle de connaissance est une brique de base utilisée en cryptologie dans le cadre de l'authentification et de l'identification. Cette expression désigne un protocole sécurisé dans lequel une entité, nommée « fournisseur de preuve », prouve mathématiquement à une autre entité, le « vérificateur », qu'une proposition est vraie sans toutefois révéler d'autres informations que la véracité de la proposition. Les anglophones utilisent l'abréviation ZKIP pour Zero Knowledge Interactive proof. (fr) In cryptography, a zero-knowledge proof or zero-knowledge protocol is a method by which one party (the prover) can prove to another party (the verifier) that a given statement is true while the prover avoids conveying any additional information apart from the fact that the statement is indeed true. The essence of zero-knowledge proofs is that it is trivial to prove that one possesses knowledge of certain information by simply revealing it; the challenge is to prove such possession without revealing the information itself or any additional information. (en) 영지식 증명(零知識 證明, 영어: zero-knowledge proof) 또는 제로 널리지 프로토콜(영어: zero-knowledge protocol)은 암호학에서 누군가가 상대방에게 어떤 사항(statement)이 참이라는 것을 증명할 때, 그 문장의 참 거짓 여부를 제외한 어떤 것도 노출되지 않는 interactive한 절차를 뜻한다. 어떤 문장이 참이라는 것을 증명하려는 쪽을 증명자(證明者, prover)라 하고, 증명 과정에 참여하여 증명자와 정보를 주고 받는 쪽을 검증자 (檢證者, verifier)라고 한다. 영지식 증명에 참여하는 당사자들이 상대방을 속이려는 목적으로 프로토콜을 임의로 변경하는 경우, 당사자들이 부정직하다 또는 정직하지 않다 (dishonest, 혹은 cheating)고 한다. 그 외의 경우에는, 정직하다고 한다. 영지식 증명은 다음과 같은 세가지 성질을 만족시켜야 한다. (ko) Em criptografia, uma prova de conhecimento zero ou protocolo de conhecimento zero é um método pelo qual uma parte (o provador) pode provar à outra parte (o verificador) que uma determinada afirmação é verdadeira, sem transmitir qualquer informação além do fato de que a afirmação é realmente verdadeira. A essência das provas de conhecimento zero é que é trivial provar que alguém possui conhecimento de certas informações simplesmente revelando-as. O desafio é provar tal posse sem revelar a própria informação ou qualquer informação adicional. (pt) Dowód z wiedzą zerową – procedura kryptograficzna, w której jedna ze stron potrafi udowodnić drugiej, że dysponuje pewną informacją, bez jej ujawniania. Właściwości takiej procedury są następujące: * Jeśli dowodzący dysponuje daną informacją, może zawsze przekonać o tym weryfikującego * Jeśli dowodzący nie dysponuje daną informacją, może oszukać weryfikującego, że nią dysponuje, z prawdopodobieństwem dowolnie bliskim zera (chociaż nie równym 0) (pl) Доказа́тельство с нулевы́м разглаше́нием (информа́ции) в криптографии (англ. Zero-knowledge proof) — интерактивный криптографический протокол, позволяющий одной из взаимодействующих сторон («The verifier» — проверяющей) убедиться в достоверности какого-либо утверждения (обычно математического), не имея при этом никакой другой информации от второй стороны («The prover» — доказывающей). Причём последнее условие является необходимым, так как обычно доказать, что сторона обладает определёнными сведениями в большинстве случаев тривиально, если она имеет право просто раскрыть информацию. Вся сложность состоит в том, чтобы доказать, что у одной из сторон есть информация, не раскрывая её содержание. Протокол должен учитывать, что доказывающий сможет убедить проверяющего только в случае, если утвер (ru) Ett nollkunskapsbevis (eng. Zero-knowledge proof) eller nollkunskapsprotokoll är, inom kryptografi, ett sätt att bevisa ett sant påstående utan att avslöja någon information utöver faktumet att påståendet är sant. Bevisande parten ska även ha någon information som onekligen skulle kunna bevisa påståendet, men som parten vill hålla hemlig. Att bevisaren har den hemliga informationen bör komma fram i påståendet. Om påståendet endast hävdar faktumet att bevisaren har den hemliga informationen, kallas beviset istället för ett nollkunskapsbevis av kunskap. (sv)
rdfs:label الإثبات بلا كشف (ar) Null-Wissen-Beweis (de) Prueba de conocimiento cero (es) Preuve à divulgation nulle de connaissance (fr) Dimostrazione a conoscenza zero (it) 영지식 증명 (ko) ゼロ知識証明 (ja) Dowód z wiedzą zerową (pl) Prova de conhecimento zero (pt) Доказательство с нулевым разглашением (ru) Nollkunskapsbevis (sv) Zero-knowledge proof (en) Доведення з нульовим розголошенням (uk) 零知识证明 (zh)
owl:sameAs freebase:Zero-knowledge proof yago-res:Zero-knowledge proof wikidata:Zero-knowledge proof dbpedia-ar:Zero-knowledge proof dbpedia-da:Zero-knowledge proof dbpedia-de:Zero-knowledge proof dbpedia-es:Zero-knowledge proof dbpedia-et:Zero-knowledge proof dbpedia-fa:Zero-knowledge proof dbpedia-fr:Zero-knowledge proof dbpedia-he:Zero-knowledge proof dbpedia-it:Zero-knowledge proof dbpedia-ja:Zero-knowledge proof dbpedia-ka:Zero-knowledge proof dbpedia-ko:Zero-knowledge proof dbpedia-pl:Zero-knowledge proof dbpedia-pt:Zero-knowledge proof dbpedia-ru:Zero-knowledge proof dbpedia-simple:Zero-knowledge proof dbpedia-sv:Zero-knowledge proof dbpedia-tr:Zero-knowledge proof dbpedia-uk:Zero-knowledge proof dbpedia-zh:Zero-knowledge proof https://global.dbpedia.org/id/qQPr
prov:wasDerivedFrom wikipedia-en:Zero-knowledge_proof?oldid=1120782457&ns=0
foaf:depiction wiki-commons:Special:FilePath/Zkip_alibaba1.png wiki-commons:Special:FilePath/Zkip_alibaba2.png wiki-commons:Special:FilePath/Zkip_alibaba3.png
foaf:isPrimaryTopicOf wikipedia-en:Zero-knowledge_proof
is dbo:knownFor of dbr:Silvio_Micali dbr:Oded_Goldreich dbr:Shafi_Goldwasser
is dbo:wikiPageRedirects of dbr:Zero-knowledge_proofs dbr:ZKP dbr:Zk_proof dbr:ZKIP dbr:Zero-knowledge_protocol dbr:Zero_knowledge_proof dbr:Zero_knowledge_proofs
is dbo:wikiPageWikiLink of dbr:Privacy_and_blockchain dbr:List_of_cryptographers dbr:Mental_poker dbr:Password_Authenticated_Key_Exchange_by_Juggling dbr:David_Chaum dbr:Ali_Baba_and_the_Forty_Thieves dbr:Alice_and_Bob dbr:Anonymous_veto_network dbr:List_of_important_publications_in_cryptography dbr:List_of_important_publications_in_theoretical_computer_science dbr:List_of_pioneers_in_computer_science dbr:Decision_Linear_assumption dbr:Index_of_cryptography_articles dbr:Indistinguishability_obfuscation dbr:Interactive_proof_system dbr:International_Association_for_Cryptologic_Research dbr:List_of_password_managers dbr:Proof_of_knowledge dbr:Proof_of_personhood dbr:Zero-knowledge_service dbr:0K dbr:Cryptography dbr:SQRL dbr:Geometric_cryptography dbr:Oblivious_transfer dbr:Punchscan dbr:Salil_Vadhan dbr:RSA_Award_for_Excellence_in_Mathematics dbr:MobileCoin dbr:Monero dbr:Open_vote_network dbr:Silvio_Micali dbr:StarkWare_Industries dbr:Subliminal_channel dbr:Commitment_scheme dbr:Computer_science dbr:Zcash dbr:Zerocoin_protocol dbr:Feige–Fiat–Shamir_identification_scheme dbr:Privacy-enhancing_technologies dbr:Centre_for_Quantum_Technologies dbr:Tornado_Cash dbr:Data_in_use dbr:Cryptoeconomics dbr:Junta_(game) dbr:NordLocker dbr:Dining_cryptographers_problem dbr:Direct_Anonymous_Attestation dbr:Direct_Recording_Electronic_with_integrity dbr:Keeper_(password_manager) dbr:List_of_cryptocurrencies dbr:Mathematical_proof dbr:Quantum_cryptography dbr:Takuzu dbr:Cramer–Shoup_cryptosystem dbr:U-Prove dbr:Arrow_information_paradox dbr:Accumulator_(cryptography) dbr:Black_box dbr:Blind_signature dbr:YAK_(cryptography) dbr:Zero-knowledge_proofs dbr:Zero_knowledge dbr:SpiderOak dbr:Claude_Crépeau dbr:Figurative_analogy dbr:File_hosting_service dbr:Oded_Goldreich dbr:Rafail_Ostrovsky dbr:Shafi_Goldwasser dbr:Socialist_millionaire_problem dbr:SZK dbr:NTRUSign dbr:Moti_Yung dbr:Witness-indistinguishable_proof dbr:Signatures_with_efficient_protocols dbr:Verifiable_credentials dbr:Non-interactive_zero-knowledge_proof dbr:Social_search dbr:Zero-knowledge_password_proof dbr:Statistically_close dbr:Trustworthy_AI dbr:Virtual_currency_law_in_the_United_States dbr:ZKP dbr:Zk_proof dbr:ZKIP dbr:Zero-knowledge_protocol dbr:Zero_knowledge_proof dbr:Zero_knowledge_proofs
is dbp:knownFor of dbr:Silvio_Micali dbr:Oded_Goldreich
is owl:differentFrom of dbr:Zero-knowledge_service
is foaf:primaryTopic of wikipedia-en:Zero-knowledge_proof