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

The method and system for generating Pareto-optimal smart contracts using game-theoretic algorithms address the challenge of fair and efficient resource allocation in decentralized applications, ensuring no participant is made worse off, thereby improving application performance.

WO2025141176A1PCT designated stage expired Publication Date: 2025-07-03OPTIMAL CONTRACTS AG
View PDF 3 Cites 0 Cited by

Patent Information

Application Number
PCT/EP2024/088596
Authority / Receiving Office
WO · WO
Patent Type
Applications
Current Assignee / Owner
Priority Date
2023-12-31
Filing Date
2024-12-27
Publication Date
2025-07-03

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 EP2024088596_03072025_PF_FP_ABST
    Figure EP2024088596_03072025_PF_FP_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

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

Citation Information

Patent Citations

  • Generating customized smart contracts

    US20210143979A1

  • Systems and methods for controlling rights related to digital knowledge

    US20220172208A1

  • Systems and Methods for Managing Network-Agnostic Smart Contracts

    US20230281585A1