Sökning: "verifiable computation"

Hittade 1 uppsats innehållade orden verifiable computation.

  1. 1. Trust and verifiable computation for smart contracts in permissionless blockchains

    Master-uppsats, KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Författare :Dominik Harz; [2017]
    Nyckelord :blockchain; smart contract; trust; multi-agent system; verifiable computation; blockchain; smart contract; trust; multi-agent system; verifiable computation;

    Sammanfattning : Blockchains address trust through cryptography and consensus. Bitcoin is the first digital currency without trusted agents. Ethereum extends this technology by enabling agents on a blockchain, via smart contracts. However, a systemic trust model for smart contracts in blockchains is missing. LÄS MER