End-to-end hardware acceleration for ZKP from witness generation to proof generation
US12113896B1 · kind B1 · utility
Assignee
Inventors
Key dates
| Filing date | Nov 30, 2023 |
| Grant date | Oct 8, 2024 |
| Priority date | — |
| Expiry date | Nov 30, 2043 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F21/602
- WIPO fieldDigital communication
- WIPO sectorElectrical engineering
Abstract
A local buffer is integrated with a witness generator and a proof generator on a cryptographic processor and is separate from host memory accessed by a host processor operating with the cryptographic processor in a proving computing system. The witness generator: receives, from software program running on the host processor, compiled code of a zero-knowledge-proof (ZKP) program and specific input to the ZKP program; executes the ZKP program by way of executing the compiled code; records specific output generated from the ZKP program with the specific input, intermediate variable values, and the specific input, as a specific witness of executing the ZKP program; stores the specific witness in the local buffer. The proof generator: receives, from the software program running on the host processor, a proving key; accesses the specific witness in the local buffer; generates a specific zero-knowledge proof for executing the ZKP program with the specific input.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.