論文の概要: Trustworthy Distributed Certification of Program Execution
- arxiv url: http://arxiv.org/abs/2402.13792v1
- Date: Wed, 21 Feb 2024 13:21:37 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-22 15:19:12.780674
- Title: Trustworthy Distributed Certification of Program Execution
- Title（参考訳）: プログラム実行の信頼できる分散認証
- Authors: Alex Wolf, Marco Eduardo Palma, Pasquale Salza, Harald C. Gall
- Abstract要約: 我々は,モナと呼ばれるプロトタイププログラミング言語と認証プロトコルOCCPを組み合わせた,革新的なアプローチを提案する。
本プロトコルでは,再実行を素直に行うことなく,プログラムセグメントを分散し,不変かつ信頼性の高いシステムで認証することができる。
本研究は,既存の最先端手法と比較してプログラム実行回数を減らす手法の有効性を示すものである。
- 参考スコア（独自算出の注目度）: 2.208443815105053
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Verifying the execution of a program is complicated and often limited by the
inability to validate the code's correctness. It is a crucial aspect of
scientific research, where it is needed to ensure the reproducibility and
validity of experimental results. Similarly, in customer software testing, it
is difficult for customers to verify that their specific program version was
tested or executed at all. Existing state-of-the-art solutions, such as
hardware-based approaches, constraint solvers, and verifiable computation
systems, do not provide definitive proof of execution, which hinders reliable
testing and analysis of program results. In this paper, we propose an
innovative approach that combines a prototype programming language called Mona
with a certification protocol OCCP to enable the distributed and decentralized
re-execution of program segments. Our protocol allows for certification of
program segments in a distributed, immutable, and trustworthy system without
the need for naive re-execution, resulting in significant improvements in terms
of time and computational resources used. We also explore the use of blockchain
technology to manage the protocol workflow following other approaches in this
space. Our approach offers a promising solution to the challenges of program
execution verification and opens up opportunities for further research and
development in this area. Our findings demonstrate the efficiency of our
approach in reducing the number of program executions compared to existing
state-of-the-art methods, thus improving the efficiency of certifying program
executions.
- Abstract（参考訳）: プログラムの実行の検証は複雑で、コードの正確性を検証することができないため、しばしば制限される。
これは科学研究の重要な側面であり、実験結果の再現性と妥当性を保証する必要がある。
同様に、顧客ソフトウェアテストでは、顧客が特定のプログラムバージョンがテストされたか、あるいは実行されたかを確認するのは難しい。
ハードウェアベースのアプローチ、制約解決システム、検証可能な計算システムといった既存の最先端ソリューションは、実行の確かな証明を提供しておらず、信頼性の高いテストとプログラム結果の分析を妨げる。
本稿では,プログラムセグメントの分散分散再実行を実現するために,monaと呼ばれるプロトタイププログラミング言語と認証プロトコルoccpを組み合わせた革新的な手法を提案する。
本プロトコルでは,プログラムセグメントを分散・不変・信頼性のあるシステムで再実行することなく認証することが可能であり,使用時間と計算資源の面で大幅に改善した。
また、この分野の他のアプローチに従って、プロトコルワークフローを管理するためのブロックチェーンテクノロジの利用についても検討しています。
このアプローチは,プログラム実行検証の課題に対する有望な解決策を提供し,この分野におけるさらなる研究開発の機会を開放する。
本研究は,既存手法と比較してプログラム実行数を削減し,プログラム実行の検証効率を向上させる手法の有効性を示す。
関連論文リスト
- Improving LLM Reasoning through Scaling Inference Computation with Collaborative Verification [52.095460362197336]
大規模言語モデル(LLM)は一貫性と正確な推論に苦しむ。
LLMは、主に正しいソリューションに基づいて訓練され、エラーを検出して学習する能力を減らす。
本稿では,CoT(Chain-of-Thought)とPoT(Program-of-Thought)を組み合わせた新しい協調手法を提案する。
論文 参考訳（メタデータ） (2024-10-05T05:21:48Z) - Step-by-Step Reasoning for Math Problems via Twisted Sequential Monte Carlo [55.452453947359736]
Twisted Sequential Monte Carlo(TSMC)に基づく新しい検証手法を提案する。
TSMCを大規模言語モデルに適用し、部分解に対する将来的な報酬を推定する。
このアプローチは、ステップワイドなヒューマンアノテーションを必要としない、より直接的なトレーニングターゲットをもたらす。
論文 参考訳（メタデータ） (2024-10-02T18:17:54Z) - AGORA: Open More and Trust Less in Binary Verification Service [16.429846973928512]
本稿では,この課題を克服するために設計された新しいバイナリ検証サービスであるAGORAを紹介する。
あるタスクは信頼できないエンティティに委譲でき、対応するバリデーターは信頼されたコンピューティングベースに確実に格納される。
ブロックチェーンベースの新たな報奨金タスクマネージャを通じて、クラウドソーシングを使用して、定理証明者の信頼を取り除く。
論文 参考訳（メタデータ） (2024-07-21T05:29:22Z) - HUWSOD: Holistic Self-training for Unified Weakly Supervised Object Detection [66.42229859018775]
我々は,HUWSOD(HuWSOD)と呼ばれる,統一・高容量弱教師付きオブジェクト検出(WSOD)ネットワークを導入する。
HUWSODには、自己管理された提案生成器と、従来のオブジェクト提案を置き換えるために、マルチレートで再構成されたピラミッドを備えたオートエンコーダ提案生成器が組み込まれている。
提案手法は,よく設計されたオフラインオブジェクト提案と大きく異なるが,WSOD訓練には有効であることを示す。
論文 参考訳（メタデータ） (2024-06-27T17:59:49Z) - Finding Software Vulnerabilities in Open-Source C Projects via Bounded
Model Checking [2.9129603096077332]
我々は,汎用ソフトウェアシステムの脆弱性を効果的に検出できる境界モデル検査手法を提唱する。
我々は,最先端の有界モデルチェッカーを用いて,大規模ソフトウェアシステムを検証する手法を開発し,評価した。
論文 参考訳（メタデータ） (2023-11-09T11:25:24Z) - Using Machine Learning To Identify Software Weaknesses From Software
Requirement Specifications [49.1574468325115]
本研究は、要求仕様からソフトウェア弱点を特定するための効率的な機械学習アルゴリズムを見つけることに焦点を当てる。
ProMISE_exp. Naive Bayes、サポートベクターマシン(SVM)、決定木、ニューラルネットワーク、畳み込みニューラルネットワーク(CNN)アルゴリズムをテストした。
論文 参考訳（メタデータ） (2023-08-10T13:19:10Z) - Benchopt: Reproducible, efficient and collaborative optimization
benchmarks [67.29240500171532]
Benchoptは、機械学習で最適化ベンチマークを自動化、再生、公開するためのフレームワークである。
Benchoptは実験を実行、共有、拡張するための既製のツールを提供することで、コミュニティのベンチマークを簡単にする。
論文 参考訳（メタデータ） (2022-06-27T16:19:24Z) - Learning from Self-Sampled Correct and Partially-Correct Programs [96.66452896657991]
そこで本研究では,モデルが学習中にサンプリングを行い,自己サンプリングされた完全正当プログラムと部分正当プログラムの両方から学習することを提案する。
自己サンプリング型プログラムと部分修正型プログラムを併用することで,学習とサンプリングプロセスのガイドに役立てることができることを示す。
提案手法は,MLEを用いた単一の参照プログラムからの学習と比較して,パス@kの性能を3.1%から12.3%向上させる。
論文 参考訳（メタデータ） (2022-05-28T03:31:07Z) - Part-X: A Family of Stochastic Algorithms for Search-Based Test
Generation with Probabilistic Guarantees [3.9119084077397863]
ファルシフィケーションはサイバー物理システムにおける誤動作を発見するための実用的で効果的な方法であることが証明されている。
ファルシフィケーション法の性能と適用性は常に改善されているにもかかわらず、それらは共通の特徴を共有している。
テスト予算が枯渇したときの誤動作(偽装者)の欠如を保証しない最善策である。
論文 参考訳（メタデータ） (2021-10-20T19:05:00Z) - Test case prioritization using test case diversification and
fault-proneness estimations [0.0]
本稿では,テストケースカバレッジデータ,バグ履歴,テストケースの多様化を考慮したTCPのアプローチを提案する。
クラスタリングに基づくアプローチスキームにフォールト・プレネネスを組み込むことにより,テストケースの多様化が維持される。
実験の結果,提案手法はカバレッジに基づくTCP方式よりも優れていることがわかった。
論文 参考訳（メタデータ） (2021-06-19T15:55:24Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。