This paper analyzes optimal contracts in a linear hidden-action model with normally distributed returns possessing two moments that are governed jointly by two agents, who can observe each others’ effort levels and draft enforceable side–contracts on chosen effort levels and realized returns. After showing that standard constraints, resulting in incentive–contracts, may fail to ensure implement...

Nowadays, creating a blockchain-based system for supply chain tracing is complex task. This paper defines model, graphical domain specific language, and set of tools aimed at helping experts to create blockchain based systems their chains. Starting from representation the chain, solidity smart contracts implementing related are automatically generated by our framework. Small interventions progr...

contracts sometimes disband to different reasons. one of contracts disbanding causation is resolutory condition. on this base parties stipulate if incident, act or omission arise contract disband. at this face contract disband with acquirement condition on it. in such cases dissolution ground is willing and consequence appears automatically. in truth resolutory condition there is doubt that wit...

This paper considers coercion contracts in voting systems with end-to-end (E2E) verifiability. Contracts are a set of instructions that an adversary can dictate to a voter, either through duress or by offering payment, that increase the probability of a compliant voter constructing a vote for the adversary’s preferred candidate. Using a representative E2E system, we place the attacks in game-th...

In the evolving context of distributed ledger technologies, standardization smart contracts is necessary. Smart are tamper-proof computer programs. Due to their security and flexibility, it possible exploit in a wide variety use cases. particular, could be automate legally recognized by leveraging contracts. To this extent, some standards regarding proper management surging. However, there stil...