Fugu-MT 論文翻訳(概要): Towards a zk-SNARK compiler for Wolfram language

論文の概要: Towards a zk-SNARK compiler for Wolfram language

arxiv url: http://arxiv.org/abs/2401.02935v1
Date: Fri, 5 Jan 2024 18:24:32 GMT
ステータス: 処理完了
システム内更新日: 2024-03-18 10:39:11.999550
Title: Towards a zk-SNARK compiler for Wolfram language
Title（参考訳）: Wolfram言語のためのzk-SNARKコンパイラを目指して
Authors: Armando Cruz,
Abstract要約: このプロジェクトはWolframのZeroKnowledgeProofs paclet上に構築され、Pinocchioプロトコルに基づいたzk-SNARKコンパイラを実装している。インタラクティブな証明はブロックチェーンアプリケーションには適していないが、zk-SNARKのような新しいプロトコルはZcashのようなゼロ知識の台帳を可能にする。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Zero-knowledge proofs (zk-Proofs) are communication protocols by which a prover can demonstrate to a verifier that it possesses a solution to a given public problem without revealing the content of the solution. Arbitrary computations can be transformed into an interactive zk-Proof so anyone is convinced that it was executed correctly without knowing what was executed on, having huge implications for digital currency. Despite this, interactive proofs are not suited for blockchain applications but novel protocols such as zk-SNARKs have made zero-knowledge ledgers like Zcash possible. This project builds upon Wolfram's ZeroKnowledgeProofs paclet and implements a zk-SNARK compiler based on Pinocchio protocol.
Abstract（参考訳）: ゼロ知識証明(ゼロ知識証明、英: Zero-knowledge proofs、zk-Proofs)は、証明者が解の内容を明らかにすることなく、与えられた公的な問題に対する解を持っていることを証明できる通信プロトコルである。任意計算はインタラクティブなzk-Proofに変換できるので、何が実行されたのかを知らずに正しく実行されたと誰もが信じており、デジタル通貨に大きな影響を及ぼす。それにもかかわらず、インタラクティブな証明はブロックチェーンアプリケーションには適していないが、zk-SNARKのような新しいプロトコルはZcashのようなゼロ知識台帳を可能にする。このプロジェクトはWolframのZeroKnowledgeProofs paclet上に構築され、Pinocchioプロトコルに基づいたzk-SNARKコンパイラを実装している。

関連論文リスト

The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。しきい値暗号システムに対する既存のアプローチは、しきい値暗号プロトコルを実行するための少なくとも1つのメッセージ遅延の遅延オーバーヘッドを導入している。しきい値が狭いブロックチェーンネイティブのしきい値暗号システムに対して,このオーバーヘッドを取り除く機構を提案する。
論文参考訳（メタデータ） (2024-07-16T20:53:04Z)
Pseudorandom unitaries with non-adaptive security [43.15464425520681]
本稿では、ランダムなクリフォードユニタリ、擬似乱数二相演算子、擬似乱数置換演算子の結合であるPRU構成を提案する。このPRU構造は、量子セキュア片方向関数の存在を前提として、非適応微分器に対して安全であることを示す。
論文参考訳（メタデータ） (2024-02-22T18:56:37Z)
Enhancing Ethereum's Security with LUMEN, a Novel Zero-Knowledge Protocol Generating Transparent and Efficient zk-SNARKs [0.0]
本稿では,zk-SNARKを効率よく,透過的にコンパイルする新しい対話型オラクル証明プロトコルを提案する。現在使用されているzk-SNARKは信頼性の高いセットアップセレモニーに依存しており、参加者のグループはトランザクションに関する秘密情報を使用して、zk-SNARKを検証するのに必要な公開パラメータを生成する。私の実装では、既存の透明zk-SNARKの効率を超え、透明でないzk-SNと同等のLUMEN(証明サイズ、証明時間、検証時間)の効率が明らかにされた。
論文参考訳（メタデータ） (2023-11-10T16:53:49Z)
CryptoVerif: a Computationally-Sound Security Protocol Verifier (Initial Version with Communications on Channels) [2.06682776181122]
この文書はセキュリティプロトコル検証器CryptoVerifを示す。これはシンボリックなドレフ・ヤオモデルではなく、計算モデルに依存している。自動で動作させることもできるし、手動による証明表示でガイドすることもできる。
論文参考訳（メタデータ） (2023-10-23T07:53:38Z)
Unclonable Non-Interactive Zero-Knowledge [11.013799869152132]
非対話的ZK(NIZK)証明は、秘密を明かさずにNPステートメントの検証を可能にする。本稿では,クローン化が不可能なNIZK証明システムを構築するために,量子情報に頼ることが可能かどうかを問う。
論文参考訳（メタデータ） (2023-10-11T01:32:36Z)
Light Clients for Lazy Blockchains [12.330989180881701]
遅延ブロックチェーンのための効率的なライトクライアント作成を可能にするプロトコルを考案する。私たちの構成は、すべての-有効または無効の-トランザクションの台帳を含むMerkleツリーを横切るバイセクションゲームに基づいています。
論文参考訳（メタデータ） (2022-03-30T00:58:40Z)
Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文参考訳（メタデータ） (2022-03-03T10:07:32Z)
Post-Quantum VRF and its Applications in Future-Proof Blockchain System [13.386254282693335]
検証可能なランダム関数 (VRF) は、その出力の正当性に対する非対話的に公に検証可能な証明を提供する強力な擬似ランダム関数である。対称鍵プリミティブを用いた単純なVRFソリューションから量子後VRFを得るための汎用コンパイラを提案する。量子セキュアなVRF(quantum-secure decentralized random beacon)の潜在的な応用例を示す。
論文参考訳（メタデータ） (2021-09-05T07:10:41Z)
Quantum-resistance in blockchain networks [46.63333997460008]
本稿では、ブロックチェーンネットワークにおける量子脅威を特定し、排除するために、米国間開発銀行、IDBラボ、LACChain、量子コンピューティング(CQC)、Tecnologicalo de Monterreyによる研究について述べる。量子コンピューティングの出現は、非量子耐性暗号アルゴリズムを利用するため、インターネットプロトコルやブロックチェーンネットワークを脅かす。
論文参考訳（メタデータ） (2021-06-11T23:39:25Z)
Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security [67.06003361150228]
作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
論文参考訳（メタデータ） (2020-12-30T18:03:56Z)
Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文参考訳（メタデータ） (2020-09-29T08:41:53Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。