ARITHMETIC ENHANCEMENT OF C-LIKE SMART CONTRACTS FOR VERIFIABLE COMPUTATION

Patent №

US 11,635,950

Granted

2023-04-25

Filed 2020

Owner

NCHAIN HOLDINGS LTD

Lab

AI components

2

ml · hardware

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

16762475

A system converts high level source code into an arithmetic circuit that represents the functionality expressed in the source code, such as a smart contract as used in relation to a blockchain platform. The system processes a portion of high level source code to generate an arithmetic circuit. The arithmetic circuit comprises one or more arithmetic gates arranged to represent at least some of the functionality expressed in the source code.

Machine learningAI hardwareH04L 63/12G06F 8/44G06F 8/447G06F 8/451G06F 9/44521G06F 16/27G06Q 20/065G06Q 20/401+16 more

AI classification

AI hardware1.00
Machine learning0.72
Knowledge representation0.39
Natural language0.22
Planning0.20
Vision0.00
Evolutionary computation0.00
Speech0.00

Ownership

NCHAIN HOLDINGS LTD

assignment · 530320037

© 2026 NYSGPT2525 LLC