Charles Koll, Houssam Abbas, Mike Rosulek · 2026 · arXiv
DOI: 10.48550/arXiv.2610.27441 · open-access PDF
반도체 및 항공기와 같은 산업에서 설계 회사는 테스트-as-a-Service (TaaS) 회사에 테스트 프로세스의 일부를 계약하는 것이 일반적입니다. 그러한 설정에서 양쪽 당사자는 지적 재산권을 비공개로 유지하고 싶어합니다 (즉, 상대방에게 알려지지 않음): 즉, 디자인과 디자이너를위한 출력 흔적, 테스터를위한 상세한 정확성 사양. 우리는 암호화적으로 안전한 멀티 파티 컴퓨팅 프로토콜을 사용하여 증명 가능한 개인 TaaS를 수행하는 실용적인 방법을 보여줍니다.
Machine translation (Meta M2M100); the English original follows.
In industries like semi-conductors and aerospace, it is common for the design company to contract out part of the testing process to a Testing-as-a-Service (TaaS) company. In such a setup, both parties want to keep their intellectual property private (i.e. unknown to the other party): namely the design and its output traces for the designer, and the detailed correctness specifications for the tester. We demonstrate a practical way for conducting provably private TaaS using a cryptographically secure multi-party computation protocol. We do so for the common setup where the specification is in S
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.27441, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange