Methods and systems for generating pareto-optimal smart contracts in a pareto-optimal decentralized application

AU2024410897A1Pending Publication Date: 2026-08-13OPTIMAL CONTRACTS AG
View PDF 0 Cites 0 Cited by

Patent Information

Authority / Receiving Office
AU · AU
Patent Type
Applications
Current Assignee / Owner
Filing Date
2024-12-27
Publication Date
2026-08-13

AI Technical Summary

Technical Problem

Existing decentralized applications lack a mechanism to generate Pareto-optimal smart contracts that ensure fair and efficient resource allocation among participants, leading to suboptimal outcomes and potential conflicts.

Method used

A method and system for generating Pareto-optimal smart contracts that utilize game-theoretic algorithms to optimize resource allocation among participants, ensuring no participant can be made better off without making others worse off, thereby achieving a fair and efficient distribution.

Benefits of technology

The solution enables fair and efficient resource allocation by generating smart contracts that optimize outcomes for all participants, preventing suboptimal scenarios and conflicts, thus enhancing the performance of decentralized applications.

✦ Generated by Eureka AI based on patent content.

Smart Images

  • Figure 00000000_0000_ABST
    Figure 00000000_0000_ABST
Patent Text Reader

Abstract

Implementations may involve a processor at a node within a network of nodes receiving a set of mechanisms, each defined by a provider action and a feasible contract. The processor defines a recipient loss function based on these mechanisms and determines the mechanism that minimizes this function. A smart contract is generated based on the selected mechanism and deployed to a blockchain maintained across the network by broadcasting it to the nodes. The processor receives a transaction address from the blockchain corresponding to the smart contract and stores this address in a database on an electronic storage device connected to the processor. Implementations facilitate efficient deployment and tracking of smart contracts within a distributed network, optimizing user-defined criteria through automated mechanism selection and blockchain integration.
Need to check novelty before this filing date? Find Prior Art

Description

[0001]- - - , .. . ,, . . . . ..,. .., , . , - :, . , . , . ., , , , , ,, , . . ,- , -. , - , . - , – – -., , . , . , . , , , :, , , , , , ,, , , , , , , ,. : , : , . – – - , ,- ,- : , . ,. , : . ,. . , , .. . . ,. ,. . . ,. . , – – -.. ,, .. . . , . , . - - . . -, - - . ,” - , “- ,. . ,’ . , . - , , . - . ,. . . , , , . , , . - – – - . . , -- . , . . , , , , . , - , , , . , . , ’ ., . . , ^^ , , - , ^^, ^^, -. ^^, ^^, ^^,, . ^^ ^^ ^^ ,^^^, ^^ ^^ =^^ :^^, ^^ ^^.^. ^^,– – - ^^, ^^^, , ^^ ^^,^^. ^, ^^,^^,^^ , ^^,, ^^ ^^, ^^ ^^, . ,,' ,,’ --^^^:^ ^^^^ → ^^ ∶ ^ ^^ ∶^^^^ →. ^^ ^^ .^^^^ ^^ ^'^^ .^^, ^^, ^^:^^^^ , ,, ^^, , , ^^′. '*^ . ^^ ^^^′ ^.^ ^^.^^′,, “- .” ’ ^^ ^^ ^^,', ’ . ., ^^ → ^^,-^^, ^^ ^^ ... .^^^^, :– – - ^^ ^^^^ ^^^^^^^^^^^^^^^^^^^^^^,.≡×^^×^^×^^^^, ^^, ^^, ^^^^,,'^^^^^^,'^^^^^^'^^^^^^-., , -^^,^^ ^^*^^ .^^,^^^^, ^^^^ : 24 ^^^^. ^^. ^^,, , ,., , ^^^^. ^^. ^^,=2, , . ^^^^ ^2^4. ^^, ,– – - ^^. . -^^,:;∈ ^^^^,.: - , , . , . , , .- , .^^, ^^ ^^ ^^ ^^ . * .. ^^, ^^,^^, ^^ ^^, , , ^^, ^ ^^^ =^^:^^,.^^ .^^. ^^:,' , ^^^^ ^^ → ^^: ^^ ,^^, ^^ →^^, ^^, ^^ ^^ ^^, ^ ^^, ^^ ^^ ^^^^^⋅, ^^. ^^, ^^, ^^ ^^⋅, ^^– – - .^^, ^^, ^^ ^^^ ^^, ^^ , ^^ ^^,=== . = ^^: ^^ ^^ ^^^^, ^^, ^^, ^^ ^^ .^^^^, ^^, ^^, ^^ → ∞, ^^^^, ^^=^,, ^^=, ^^^^^^=, ^^=, ^^=, ^^ → ∞^^=., ^^=, ^^= ^^^^,.^^.:^^ ^^ → ^^^^ ,'^^, ^^, ^^^^ ^^ !:! ^^^^ ,,' ⋅ ^^^^ ! !!.,'!, !,'!.^^- -^^ ^,^ !!: ^-^ →,. ^^, ^^, ^^*, ^^*,,'⋅ ^^!,'!,',' ∞- ^^^^=*",' → ^"!^*!,',,'!.! ^^,' ^^=!→,'!^^ ^^ ^^^, ^^, ^^. ^ ^^ ^^ ^^* ,'^^!! <^^^^∗, ^^, ^^, ^^ ^^,^ ^^^, ^,^, ^^, ^^,^ ^^,^∗ ^^, ^^, ^^ ^^^^ ^^∗ ^^ ^.^ ^^ ^^,’ - . ^^, ^^, ^^..^^ ^^^,^- .’-^^,:B →,∞– – - .. , , ’ . - , , . , ,,- . ’, ’ , . , .^ → ^^^^ ^^, . ^^: ^, ^^^ ^^, , ^^^. , , , . ’, ,^^^^ ^^^^^^ ^^.’ , , ’ . , .- – – - ,…’ , ^^. , ^^ , … , ^ ^^, ^^^^ .^, . ^^ ., ^^ ^^^ , … , ^^^^ = ^^^ ^^ =I ^^^.^I^^ ’ ,^^ → ^^II I ^^^I^. ^^ ’ ^^:’ ^^^,, ’ ^^ I ^^^ :^^' : ^^^ ^^^^ ^^^ → ^ ^^^ →. ^^:^^ → ^^^ ^^, ^^, ^^ = ^^, ^^, ^^ ^^^^ ^^. ^^.^,^^.^^^^. I^^*, ^^ ^^⋅ ^^* ^^* ^^,^*. ^^, ^ ^I. ^^ ^^,^ ^^I. ,I ^^ ^^ ^^^^, ^^ ⋅^** ^^,' ^^^^.^^^^, ^^, ^, ^^, ^^ ^^^ ^^,^ ^^, ^^,. ^^. ^^^^:, .^^I = ^ -, : ^^ → . ,^^, ,∞ ,. ^^ ^ ,^^: ^^^^ ^. ,^^,→,∞ , ^^, ^^ ^^ ^^– – - ^ ^ ^ ^^ ^^^^ ^^ ^^^^^^^- " ". ., ^^,, ‾^^ ^ ^^^, ‾ ,^^ ^^: ^^ → ^^ ^^ ^^ =I^^I, ^^II ^^^^I ^^I → ^^NI NI, ^^II ‾^^ ^^ ^^, ^^I, ^^I, I^^I. ^^I II I, . - .^^, ^^ ^^^^ ^^- .., ^^ , … , ^^: ^^I^^, ^^ -^^ ^^ ^^ ^^ – – - ^^ ’P^^P,.^^I , ^^NI.^^ ’ ^^I- , ^^I*^^ ’, ,^^*I.^^ ’ ^^’I*^^N^I^,I ^,^NI^^*^^*I *^^II*^^I⋅ ^^I ^^I⋅⋅, ^^I^ ^^^II. ^^I, ^^,^^, .- ^^I^^I. , , - - ^^, - ^^. ^^ ’ , ^^ ’ " - - ^ . - ^ " . ^^ - - - .- - -- , , ^^ ^^, = ^^N-I ^^NI, ^^,, ,^ ^^ ^^ ^^ ^^ ^ I^^ ^^^^^ , ^^ ^^ ^^ ^^^^ ^^^^^^I , ^^, ^^I , ^I^II =,I ^^^ ^^ ,,^I ^,^, ^ =^, ^ ^^^^^^^^N^I^^ ^ ^^^,N ^I^.. , ^^ ^^,– – - , ^^^I^,:- ^^^^II , ^ →^I ^^^- ^^^I^^,^^I: ^^ ^^ ^^I → ^^I,,I I- - , .^^,- . I: ^^^^I ^ ,^II ^^I → ^^ ^^N ^I^, ^^NI ‾-^^ ^^ ^- =^I: ^^I →.I^ ^^-^I^^I^^ I. . -.- . ,^^ , … , ^^,- - -, . ’ . - .^^: ^,, ^^^^^^^^ ^ → ^ ^^^: ^^ → ^ ^^^^ ^^ ^^^^^^^. - - . , . - - ,- . , . . , . – – - , , . .., ’ ’ ’.., , , • : : , , • : • :.., . ’ .., ,. , , , . ’ ,., , ’ - . - ,. , -, - . ' '.., ' – – - , : , • : , , • : • : , .., . ' , ., , , . ,, ' ' . , , , , - . . , . , , , , . ., . - – – - ., . - , . . .. , , , . - - . , , , , , , , ' ' . , -- . . - - . -. . . . , - . – – - , ' ,. - ,- . , . .. . , .. . ,-, : .- •.. : • • , • . . . , , . ^^^. :^, -– – - ^^^^, ≡ ^^^^, ^^, ^^, ^^^^,,'^^^^^^,'^^^^^^'^^^^^^,^^ - ×^^×^^×, :, ^^ , … , ^^I^^,^ ^ ^ ^^ ,… , ^^ ,^^^^, ≡ :×^^×^^×,^^^^, ^^, ^^, ^^^^,,'^^^^^^,'^^^^^^'^^^^^^,,. , , : , , , : - • , .., •.., , , , , , , , • ^^, ^^, , ^^. ^^ , , , - , ,. , , – – - • • • , - ,.. , , , . , . , “ :”, . : . • - • •, , : . • . , - . • . . , - . ,. • ’ . . . – – - • . , , , , . , • : ^^ ^^ ^^, ^^, ,. ,, , . : ’’ • ^^^^, ^^, ^^, ^^ ^^, ^^, ^^• ^^^^, ^^, ^ ^^, ^^, ^^, ^^•^, ^^^^, ^^,-^^^^.. , , . ^^ – – - ^ , ^^$% ,'$%.^ ^^ ,^^,. , ,.., ,- •,. , , ^^ ^^I%• ^^ • ^^ , , , I%^ ^I%, :,. • ^^ ^ ^^I^^^ . ^%•I%^ ^^^% ^^^T%^ , ^^ ^^^ ^^,• ^•^^^T% : ^^^T%• ^^ ^̂^. -- :• ^^^– – - • , - ,.. , , . . , - .- - ,, . - ’ ^^, : ^^^^^^,:;∈ ^^^ ^’^,.^, :’ ^^. . ^^ , ,, . . , . . – – - • , , o . , , , ., o , , . • , . o, , , o . , - , , . , . , . : . • , , - - - ,. , . • , - . - . . . , . – – - • , , , - . , . , . , ’ . • ,, . . , , . . , , . - .-, . , - ’ ,- , , . , . . . , . . , – – - , , , , , . ^^.., ,^^ ,,:^^,^ ^ ^^ ^^^^ ^^^^^^^^^^^^, ,^^: ^^^^XI= XI=^^ ,^^ ∶ ^^ = ^^ − ^^. ^^ :- ^^. ^^., ^^. ^^ ∙ ^^ = ^^ ∙^^ − ^^ . ^^ ∙ ^^ = ^^ ∙^^ − ^^XI=.,XI=. : , • , • . • . • . . – – - , , . . , , . , , . . , - , - , , ..- - . - ,, . , . , , .., , , , , , . , , “, ,” . - ,. , , , . - ,, , .. – – - . , - — —, , , . . - : - , ’ . . - ,. ,. ., . , , . ’ . , . , , . . , ,- , , . , . ,, , , ,- , , - . ’ . – – - . , , , - , , , , , , . , , • ’: ’ . , • .’ • , . . , • . • , . . , . ,. ., , , , , . , , , , , , , ,, ,. , , – – - , ,, , .., ,,, ,, ,, , . , , , , ., , , , , , , , , , ,. , , , , . - , . . . .., .. , , , , , , , , , , . , , , , , . , , , , , . – – - , . , , , . . .. .. .., . . ., .. , , . . , , , , , . , . -, ,- ., . – – - . , , . . . .., . , , . , , . . ., .., ,.., , , . , . . , , ,, ,, , ... , , , , , --, ,, . .., , . , . , - , , ,, , , . , , – – - ,,, “ ” . , , . . , — , . , , , , . , . . , , , , - ,, ,- ,, ,, , . . . . , , , “ ” . , . , , , , , ,. - , - , – – - - , . , , , , -- - , - , , , , - , ,- , “ ” ,,,, ,, , , ,,, ,., ,, ,, , -,, ,, ,,, , , , , . , ,, . , , ., , . , . . - , , . ., , , . , , - , , - , - , . , ,.., ,,., ,. .., .., , ,., -, -.., – – -,., . .., - , . , ™.,,. , ..,, , , .. , - ..., , , , , , .., , .,., ,, ,, ,,-, , , , , , ,. . , . . . . , . , , , . .. , . . , , , , , , , ,, , ,, . , , - . , – – - , , , , , , , .., ,,,,, , , . . , , , , , , “ ”-- . . , , : , , , . ..,, . , , -- ....,, , , , ..,,, . .. - ,, , , - ..., ..,--,-- , . , , ,, , , , , , . – – - -- . , , - , . “” , —-- , , — , ,,, ..., , . .., , - . , - - .., . , , .., . , , . , , . , . , . . . , , ,. , , .., . , .., , , ,, ,, , , – – - , , . -- ,,. -- , , , ., . , , . . , .. , . . . . ., , , , . , , . . . , ,.., , , , , , . , , . , . ,, . , . , – – - ,. , . - . , . , , , .., , , , , , , , . , . .., . , , , , , ., , , , ,, . , ,. , . , ,, ., , . ,. , , , . , , . . – – - . - -- . . -, ., ....,. . , . . -, . , , . , .. ., , , .. , , , .., . , . , , , . , , . ,- .., . , .., , , – – - , , . , , , , .. . , , . .. .,, , , . , , , , , , , . , , , .. , , , .,. ,.. , , , ,.. , , .. – – - , , , , .. , .. “ , • ”. : • : , , • : : : , , .. ,, , . , , - . . • • :: :, , , • : , • , , : , . . .' .., , ,... – – - . , . , ' . • “: ”. : , ,. • • :: • :: • , , ,.,, ,. • : , • :: “ -”. , , - . - : .’ • : , • : .., • : – – - , . . , , , : ’. , , , , , , , , .., , , .., . ,. • : • : ' .-. , • ' , -. , - : • , . • • - . , ’ . , – – - • - , • . . • : • ::- -- ’ • : . • .- : • .: • . : . • : : • • o : ,,, ... , o . _-,_.,_ – – - o ,, . , -> o, " . , o • o : , • o .., • • • :: , :, , • , ,.,. • : , • : , • ,. . – – - • , . . . “ , • ”. : • :: • : , ,:- . , ,- • , . :: , , • , ,,. • :: • : ,, ,, ,. • , , : • : “ • ”:. : • : – – - • : ” “ •. : : • • :: • :: • ,. : , • • :: . “ ” “ ”. . - . . “ ”. ,. , . . – – - . . , -. , ,, , . , , , . , - , . , . ,, , - , . , ,,, . . , . . , . , , . - . . - . – – -.., , , . , , . , . , , , ., , , , , , , , , . . , ,. , , .. , - - . . , , , , . , . , , , . . .., ,, – – - , , , , , . . .., . - . . —. — , . .. - . , , . . , . . . , .., : , . . ,, , . , - . . – – - , , , . , , , , , . . , . ,: ,., , . , , . . .., ..,, , . , . .., . , . ., , ,,, ,, , ,, , ,, , , , , , , . ,. , , ,. , , , – – - . , . . . , . , , , ’ . , . ’ ,, . .., ., ,, .,., , , - , ., , .., , . ..,,. , . . , , ,. , , , , . , – – - . , , - , , ,- , . .., , , , ..,1–i,1'–', –. , , –1k..1i.., ,1'–' .. –,1–k..,, . , , ,, , , . .. , .. . , . , . , , . . 1–i,1'–.',1–k.. , , .., ..,1–n’ , . . , .,..,1–n,, . , – – -ii. .., , . .., .., ,, , . ,, , , , , , , ,, , , , . , , , , ,. “ ”, “,” .., , , . , . ,- - : ..,- . .. . , , , , , . , .., . , - .., , .., – – - , ,. . .., , , ..., -. , . , . , . , . ,- - , , . , . , . , . . . . , . , . . - . – – -., ,. , , . . , - . , , ,- . , , , . ,. . . , ,, , , . , , . ,, ,. . .., , , . ., – – - . . , , ,: , , , , , ,, ,, , , , , .. , , . , , . –, , ., , ., , : , ,, .. , , , . . –, . –,. . – – -. , –, . ,.. ,, - . - . - - . , –,, . –, . . . . , . , . , . . . –, , , . –., : ,, , , . , . . . . –,,. , ,–, ., . , : , : , – – - .. , . . , –, . . , , , : ,. , . , . , . . . –., . –, . , -. . . - . , - - . , –,, . – – -. –, . . . , . , . , . . . –, ,. , –. : , . . . , . . –, . , ,–, . ,. ,- , - , : – – - . ,-., - ,. , . –, - , - . ,. ,- ,: -, , , ,. ,. ,- , - , . ,- , .- .,.– ,- , - ., .–, ,- , -. ,. -- , - ,. ,- ,. - - -- . ,.– ,- , - ,, . , – – - .–, ,- , - . ,- ., - . , . ,- , - , .. ,- , - ,..–, ,- , - . , , .–, ,- , - : . ,- , - . . , .–, ,- , - . . –, ,- , - , , , . , , , . ,, , , , , , , , . , , , , – – - , , , , . ., ,, “” '', '', '' . “” . , .., ... “. ” “ .” – –

Claims

- : . ,, : , , , , , , ,, ,, , , , , .. , , . , ,. , , . , ,. , , , : , . , . , , , .. ., – –-. ., . , . , ,. , - . . . , - - - . , ,, . . , . . . , . ,. . ,. . , . , , . , , : , ,, . . . , . . , – –-. , , , , , . . , : , , : .. , . . , , . . , , : , ,, . . , . – –-. ., . ., . , . . , - . . . , - - -. , ,, . . , . . . , . ,. . ,. . , . , ,. , : . . . , . . , – –-. , , , , . . ,- , - , : . . ,- , - , . . ,- , - , , . . ,- :, - , ,, ,, . . ,- , - , – –- . . ,- , - .,. ,- , - ,. . ,- , - , .. ,-- ,. - , . - ,- -, -- . ,. ,- , - , , . ,. ,- , - , . . ,- , - . ,. ,- , - , .. ,- , - ,. . ,- , - , , , . . ,- :, - , – –- . . ,- , - . ,. ,- , - . ,. ,- , ,- , , . , – –