Computer-implemented methods and systems relating to arithmetic coding for serialised arithmetic circuits
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Current blockchain technologies face challenges in efficiently storing and executing smart contracts due to high data storage requirements, which can be mitigated by compressing arithmetic circuits using arithmetic coding techniques.
Innovation Solution
A computer-implemented method and system that compresses arithmetic circuits using arithmetic coding, allowing for reduced data storage and efficient transmission, enabling the storage and execution of smart contracts on a blockchain network by mapping symbols to coded values and utilizing a header to encode information for decoding.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If arithmetic circuits are stored in uncompressed form on blockchain network nodes, then the circuits can be executed directly, but the data storage requirements become excessively high
Solution Approach 1:
The patent creates a compressed copy (serialised circuit) of the original arithmetic circuit that can be stored on blockchain nodes. This compressed representation uses significantly less space while maintaining the ability to reconstruct and execute the original circuit when needed, resolving the contradiction between storage efficiency and executability.
Solution Approach 2:
The patent transforms the arithmetic circuit from an uncompressed parameter state to a compressed parameter state through arithmetic coding. By changing the representation parameters (from raw circuit description to coded symbol sequences), the storage requirements are reduced while preserving the essential functionality for execution.
2Quantity of substance
If arithmetic circuits are compressed using arithmetic coding, then the data footprint is reduced, but the complexity of encoding and decoding increases
Solution Approach 1:
The patent performs preliminary encoding of the arithmetic circuit into a serialised form using arithmetic coding. By pre-computing the compressed representation and storing it with necessary decoding information (such as symbol mappings and probability distributions), the system reduces the data footprint while managing decoding complexity through prepared lookup tables and algorithms.
3Measurement precision
If uncompressed arithmetic circuits are transmitted across the blockchain network, then execution accuracy is maintained, but transmission bandwidth is consumed
Solution Approach 1:
The patent transmits a compressed copy (serialised arithmetic circuit) across the blockchain network instead of the original uncompressed circuit. This compressed transmission uses less bandwidth while maintaining execution accuracy because the serialised form can be losslessly decompressed back to the original circuit for accurate execution on verifying nodes.
Data Source
AI summary
Techniques described herein may be utilized to implement methods and systems for lossless compression and serialization of arithmetic circuits to a bit stream using compression techniques such as the arithmetic coding. An arithmetic circuit representing a smart contract may be compressed using arithmetic coding, thereby generating a compressed arithmetic circuit that can be stored or broadcast to a blockchain network using less computational resources (e.g., data storage resources) than would otherwise be needed to store the arithmetic circuit. The arithmetic circuit can be efficiently compressed using entropy coding based on the frequency of elements in the data structure, such as the arithmetic operator types. Instructions for de-serialization and de-compression can also be embedded in the bit stream, and can be used (e.g., by another computer system) to reconstruct the original circuit in a lossless manner.