Data processing method, device and system

A data processing and data technology, applied in the direction of electrical digital data processing, program code conversion, instruments, etc., can solve the lack of error checking, compilation optimization, compilation optimization, the accuracy and efficiency of the overall system operation cannot be guaranteed, cryptographic protocols Algorithm complexity and other problems, to achieve simple and efficient conversion processing, improve simplicity, and achieve the effect of conversion processing

Pending Publication Date: 2019-09-06
JUZIX TECH SHENZHEN CO LTD
View PDF6 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] At present, circuit compilers are usually used to convert calculations into logic circuits, but circuit compilers generally correspond to a specific source code writing language. If other high-level languages ​​need to be supported, a new compiler can only be redeveloped
And the current circuit compiler can only implem

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Data processing method, device and system
  • Data processing method, device and system
  • Data processing method, device and system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0044] In order to enable those skilled in the art to better understand the technical solutions in this specification, the technical solutions in one or more embodiments of this specification will be clearly and completely described below in conjunction with the drawings in one or more embodiments of this specification Obviously, the described embodiments are only some of the embodiments in the description, not all of them. Based on one or more embodiments in the description, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts shall fall within the protection scope of the embodiments of the description.

[0045] With the development of blockchain technology in recent years, zero-knowledge proofs and verifiable computing have received widespread attention and use. The current mainstream zero-knowledge algorithms usually cannot be directly used to solve computing problems. The computing problems must be converted into the correc...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The embodiment of the invention discloses a data processing method, device and system. The data processing method comprises the steps: compiling password protocol algorithm source code data to be processed based on an LLVM compiler, and obtaining initial LLVM intermediate code data; performing skip-free static single assignment processing on the initial LLVM intermediate code data to obtain processed intermediate code data; and performing conversion processing on the processed intermediate code data to obtain R1CS data. By utilizing each embodiment of the specification, the source code data ofthe cryptographic algorithm can be compiled to the R1CS data more simply and efficiently.

Description

technical field [0001] The present invention relates to the technical field of computer data processing, in particular, to a data processing method, device and system. Background technique [0002] With the development of blockchain technology in recent years, zero-knowledge proofs and verifiable computing have received widespread attention and use. The current mainstream zero-knowledge algorithms usually cannot be directly used to solve computing problems. The computing problems must be converted into the correct "form" to deal with. This form is called QAP (quadratic arithmetic problem). In the specific implementation, it is generally necessary to convert the calculation into a logic circuit first, and then convert it into an R1CS (rank-1constraint system, first-order constraint system), and further use R1CS to generate a QAP. [0003] At present, circuit compilers are usually used to convert calculations into logic circuits, but circuit compilers generally correspond to ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F8/41
CPCG06F8/443Y02D10/00
Inventor 王嘉兴李升林陈元丰
Owner JUZIX TECH SHENZHEN CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap