Tezos: Unterschied zwischen den Versionen

{{More citations needed|date=July 2019}}{{Infobox software

Das Primärprotokoll von Tezos nutzt [Pproof of Stake]] und unterstützt Turing-fähige intelligente Verträge, die in einer domänenspezfischen Sprache geschrieben sind, genannt Michelson<ref>{{Cite web |url=https://tezos.com/get-started/#proof-of-stake |title=What is Tezos? |website=tezos.com |access-date=18 Feb 2020}}</ref><ref name="Harz Knottenbelt p. ">{{cite journal | last=Harz | first=Dominik | last2=Knottenbelt | first2=William J. | title=Towards Safer Smart Contracts: A Survey of Languages and Verification Methods | url=https://www.semanticscholar.org/paper/Towards-Safer-Smart-Contracts%3A-A-Survey-of-and-Harz-Knottenbelt/16faf56efdda91fa07e6f532a34d36ecba25acd6 | access-date=2019-07-20 | page=4 | bibcode=2018arXiv180909805H | year=2018 | arxiv=1809.09805 | journal= | archive-url=https://web.archive.org/web/20190720154221/https://www.semanticscholar.org/paper/Towards-Safer-Smart-Contracts:-A-Survey-of-and-Harz-Knottenbelt/16faf56efdda91fa07e6f532a34d36ecba25acd6 | archive-date=2019-07-20 | url-status=live }}</ref>{{self-published source|date=October 2019}}<ref name="Das Balzer Hoffmann Pfenning 2019">{{cite arXiv | last=Das | first=Ankush | last2=Balzer | first2=Stephanie | last3=Hoffmann | first3=Jan | last4=Pfenning | first4=Frank | title=Resource-Aware Session Types for Digital Contracts | date=2019-02-16 | eprint=1902.06056v2 | class=cs.PL }}</ref>{{self-published source|date=October 2019}}.<ref name="Chen 2018 p. ">{{cite book | last=Chen | first=Shiping | title=Blockchain -- ICBC 2018 : first International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings | publisher=Springer | location=Cham, Switzerland | year=2018 | isbn=978-3-319-94478-4 | oclc=1042075107 | page=}}</ref>