Ich habe diesen Artikel gelesen: https://media.consensys.net/introduction-to-zksnarks-with-examples-3283b554fc3b
Allerdings ist mir nicht klar, eine Funktion, wie zksnarkverifysie bereits in Ethereum implementiert wurde Solidity? Oder müssen wir es selbst umsetzen?
Gibt es eine API oder Bibliothek zur Verwendung von zk-SNARKAlgorithmen? wie zum Beispiel:
Public-Key-Generator G(program C, secret lambda) -> (prover public key, verifier public key),
oder
BeweisalgorithmusP(prover public key, public x, secret w) -> proof
oder
Prüfalgorithmus V(verifier public key, public x, proof) -> true?
wo Programm C ist C(public x, secret w).
Das einzige, was solide ist, sind vorkompilierte Verträge für Ellyptic-Curve-Operationen.
Informationen zu Implementierungen finden Sie unter Gibt es ein dezentralisiertes zk-SNARK (Zero-Knowledge Succinct Non-Interactive ARgument of Knowledge)?
verifier algorithm On-Chain by implementieren Solidity. Wie geht das ZoKrates? Laut seinem Github - Link : "Es hilft Ihnen, Offchain-Programme zu erstellen und sie mit der Ethereum-Blockchain zu verknüpfen."
eth