JP7493697B1 - 推論検証システムおよび推論検証方法 - Google Patents

推論検証システムおよび推論検証方法 Download PDF

Info

Publication number
JP7493697B1
JP7493697B1 JP2024519956A JP2024519956A JP7493697B1 JP 7493697 B1 JP7493697 B1 JP 7493697B1 JP 2024519956 A JP2024519956 A JP 2024519956A JP 2024519956 A JP2024519956 A JP 2024519956A JP 7493697 B1 JP7493697 B1 JP 7493697B1
Authority
JP
Japan
Prior art keywords
inference
layer
protocol
verification
proof
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
JP2024519956A
Other languages
English (en)
Japanese (ja)
Other versions
JPWO2024004212A1 (https=
JPWO2024004212A5 (https=
Inventor
悠太郎 西田
聖 安田
義博 小関
悟一郎 花岡
ナッタポン アッタラパドゥン
祐介 坂井
ヤコブ クロイス ナカムラ シュルツ
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Mitsubishi Electric Corp
Original Assignee
Mitsubishi Electric Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Mitsubishi Electric Corp filed Critical Mitsubishi Electric Corp
Publication of JPWO2024004212A1 publication Critical patent/JPWO2024004212A1/ja
Application granted granted Critical
Publication of JP7493697B1 publication Critical patent/JP7493697B1/ja
Publication of JPWO2024004212A5 publication Critical patent/JPWO2024004212A5/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/04—Architecture, e.g. interconnection topology
    • G06N3/0464—Convolutional networks [CNN, ConvNet]
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/04—Architecture, e.g. interconnection topology
    • G06N3/045—Combinations of networks
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/04—Architecture, e.g. interconnection topology
    • G06N3/048—Activation functions
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computing arrangements based on biological models
    • G06N3/02—Neural networks
    • G06N3/08—Learning methods
    • G06N3/084—Backpropagation, e.g. using gradient descent

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Health & Medical Sciences (AREA)
  • Computing Systems (AREA)
  • Biomedical Technology (AREA)
  • Biophysics (AREA)
  • Computational Linguistics (AREA)
  • Data Mining & Analysis (AREA)
  • Evolutionary Computation (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Molecular Biology (AREA)
  • Artificial Intelligence (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Software Systems (AREA)
  • Health & Medical Sciences (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Computer And Data Communications (AREA)
  • Storage Device Security (AREA)
  • Communication Control (AREA)
JP2024519956A 2022-07-01 2022-07-01 推論検証システムおよび推論検証方法 Active JP7493697B1 (ja)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2022/026498 WO2024004212A1 (ja) 2022-07-01 2022-07-01 推論検証システムおよび推論検証方法

Publications (3)

Publication Number Publication Date
JPWO2024004212A1 JPWO2024004212A1 (https=) 2024-01-04
JP7493697B1 true JP7493697B1 (ja) 2024-05-31
JPWO2024004212A5 JPWO2024004212A5 (https=) 2024-06-11

Family

ID=89381821

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2024519956A Active JP7493697B1 (ja) 2022-07-01 2022-07-01 推論検証システムおよび推論検証方法

Country Status (5)

Country Link
US (1) US20250094783A1 (https=)
JP (1) JP7493697B1 (https=)
CN (1) CN119452366A (https=)
DE (1) DE112022007141T5 (https=)
WO (1) WO2024004212A1 (https=)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN118114208B (zh) * 2024-01-16 2025-02-11 深圳市华汇数据服务有限公司 一种神经网络输出结果产权证明方法、系统和装置

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20210406436A1 (en) * 2020-06-30 2021-12-30 Iucf-Hyu (Industry-University Cooperation Foundation Hanyang University) Method for verifying convolutional neural network model and device thereof

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20210406436A1 (en) * 2020-06-30 2021-12-30 Iucf-Hyu (Industry-University Cooperation Foundation Hanyang University) Method for verifying convolutional neural network model and device thereof

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
FENG, Boyuan et al.，ZEN: An Optimizing Compiler for Verifiable, Zero-Knowledge Neural Network Inferences，Cryptology ePrint Archive，2021年05月15日，[online], [retrieved on 2022.09.16], Retrieved from the Internet: <URL: https://eprint.iacr.org/archive/2021/087/20210515:224258>
FENG, BOYUAN ET AL.: "ZEN: An Optimizing Compiler for Verifiable, Zero-Knowledge Neural Network Inferences", CRYPTOLOGY EPRINT ARCHIVE, JPN6022040708, 15 May 2021 (2021-05-15), ISSN: 0005310634 *

Also Published As

Publication number Publication date
JPWO2024004212A1 (https=) 2024-01-04
WO2024004212A1 (ja) 2024-01-04
CN119452366A (zh) 2025-02-14
DE112022007141T5 (de) 2025-02-27
US20250094783A1 (en) 2025-03-20

Similar Documents

Publication Publication Date Title
Liu et al. Zkcnn: Zero knowledge proofs for convolutional neural network predictions and accuracy
Sun et al. zkllm: Zero knowledge proofs for large language models
EP3741082B1 (en) Proof chaining and decomposition
CN108664221B (zh) 一种数据持有证明方法、装置及可读存储介质
Fan et al. Validating the integrity of convolutional neural network predictions based on zero-knowledge proof
TW201320701A (zh) 資訊處理裝置、資訊處理方法及程式
CN117278213B (zh) 基于多项式承诺的方法、电子设备及可读存储介质
CN112286752A (zh) 一种联邦学习异构处理系统的算法验证方法及系统
JP7493697B1 (ja) 推論検証システムおよび推論検証方法
CN1855815B (zh) 用于生成和确认基于同源的签名的系统和方法
KR102070061B1 (ko) 묶음 검증 방법 및 장치
Riasi et al. Privacy-preserving verifiable neural network inference service
US12250316B2 (en) Methods and systems for selecting an optimal proof system for zero-knowledge and other proofs
US20260074921A1 (en) Verification of quantum randomness using classical hardware with one round of communication
Kuznetsov et al. Scalable zero-knowledge proofs for verifying cryptographic hashing in blockchain applications
CN112989044B (zh) 文本分类方法、装置、设备及存储介质
CN119788259A (zh) 一种适用于区块链扩容的基于编码的多项式承诺方法
CN109818944B (zh) 一种支持预处理的云数据外包及完整性验证方法及装置
Zhou et al. QV-net: Decentralized self-tallying quadratic voting with maximal ballot secrecy
CN116318725A (zh) 零知识范围证明方法、装置、终端设备及计算机存储介质
Ray et al. Computational attestations of polynomial integrity towards verifiable machine-learning
CN114912146B (zh) 一种垂直联邦架构下的数据信息防御方法、系统、电子设备及存储介质
JPWO2021240757A5 (https=)
TW202042523A (zh) 具分級機制的秘密共享簽章系統及其方法
Kassem et al. Lattice-based direct anonymous attestation (LDAA)

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20240401

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20240401

A871 Explanation of circumstances concerning accelerated examination

Free format text: JAPANESE INTERMEDIATE CODE: A871

Effective date: 20240401

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20240423

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20240521

R150 Certificate of patent or registration of utility model

Ref document number: 7493697

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150