590
Bearbeitungen
Ethereum: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
→Verträge innerhalb der öffentlichen Blockchain
C1ph4 (Diskussion | Beiträge) |
C1ph4 (Diskussion | Beiträge) |
||
| Zeile 129: | Zeile 129: | ||
Ein bekanntes Problem mit öffentlichen Verträgen in einer Blockchain in Bezug auf "smart contracts" ist, dass Softwarefehler, inklusive SIcherheitslücken, zwar von allen eingesehen werden, aber nicht schnell genug behoben werden können.<ref name="Peck20160528">{{cite web|url=http://spectrum.ieee.org/tech-talk/computing/networks/ethereums-150-million-dollar-dao-opens-for-business-just-as-researchers-call-for-a-moratorium|title=Ethereum's $150-Million Blockchain-Powered Fund Opens Just as Researchers Call For a Halt|first=M.|last=Peck|date=28 May 2016|work=[[IEEE Spectrum]]|publisher=[[Institute of Electrical and Electronics Engineers]]}}</ref> Das berühmteste Beispiel hier ist der Angriff am 17. Juni 2016 auf die "The DAO", die weder schnell gestoppt, noch rückgängig gemacht werden konnte.<ref name="NYTDAOHACK" /> | Ein bekanntes Problem mit öffentlichen Verträgen in einer Blockchain in Bezug auf "smart contracts" ist, dass Softwarefehler, inklusive SIcherheitslücken, zwar von allen eingesehen werden, aber nicht schnell genug behoben werden können.<ref name="Peck20160528">{{cite web|url=http://spectrum.ieee.org/tech-talk/computing/networks/ethereums-150-million-dollar-dao-opens-for-business-just-as-researchers-call-for-a-moratorium|title=Ethereum's $150-Million Blockchain-Powered Fund Opens Just as Researchers Call For a Halt|first=M.|last=Peck|date=28 May 2016|work=[[IEEE Spectrum]]|publisher=[[Institute of Electrical and Electronics Engineers]]}}</ref> Das berühmteste Beispiel hier ist der Angriff am 17. Juni 2016 auf die "The DAO", die weder schnell gestoppt, noch rückgängig gemacht werden konnte.<ref name="NYTDAOHACK" /> | ||
Derzeit wird aktiv daran geforscht wie man Verifikationen dazu nutzen könnte, nicht-triviale Eigenschaften auzudrücken oder zu beweisen.[[Microsoft Research]] meldete in einem Bericht, dass das Schreiben solider intelligenter Verträge in der Praxis extrem schwer sein kann. Dabei wurde der Hack von "The DAO" als Beweis herangezogen. Der Bericht erwähnte Software-Werkzeuge zur Verifizierung solcher Verträge und spekulierte gleichzeitig darüber, dass eine großangelegte Analyse bereits veröffentlichter intelligenter Verträge weit verbreitete Anfälligkeiten zu Tage fördern könne. Ferner wurde festgehalten, dass es möglich sei die Gleichwertigkeit eines [[Solidity]]-Programms mit Code der EVM zu verifizieren.<ref>{{cite web|title=Short Paper: Formal Verification of Smart Contracts|url=http://research.microsoft.com/en-us/um/people/nswamy/papers/solidether.pdf|website=microsoft.com/|publisher=Microsoft|accessdate=25 August 2016|archive-url=https://web-beta.archive.org/web/20160827092146/http://research.microsoft.com/en-us/um/people/nswamy/papers/solidether.pdf|archive-date=27 August 2016}}</ref> | Derzeit wird aktiv daran geforscht wie man Verifikationen dazu nutzen könnte, nicht-triviale Eigenschaften auzudrücken oder zu beweisen. [[Microsoft Research]] meldete in einem Bericht, dass das Schreiben solider intelligenter Verträge in der Praxis extrem schwer sein kann. Dabei wurde der Hack von "The DAO" als Beweis herangezogen. Der Bericht erwähnte Software-Werkzeuge zur Verifizierung solcher Verträge und spekulierte gleichzeitig darüber, dass eine großangelegte Analyse bereits veröffentlichter intelligenter Verträge weit verbreitete Anfälligkeiten zu Tage fördern könne. Ferner wurde festgehalten, dass es möglich sei die Gleichwertigkeit eines [[Solidity]]-Programms mit Code der EVM zu verifizieren.<ref>{{cite web|title=Short Paper: Formal Verification of Smart Contracts|url=http://research.microsoft.com/en-us/um/people/nswamy/papers/solidether.pdf|website=microsoft.com/|publisher=Microsoft|accessdate=25 August 2016|archive-url=https://web-beta.archive.org/web/20160827092146/http://research.microsoft.com/en-us/um/people/nswamy/papers/solidether.pdf|archive-date=27 August 2016}}</ref> | ||
=== Programmiersprachen === | === Programmiersprachen === | ||
BTC: 1EoecgUZnAjamUYaKstqwbremQqbucTaoZ 
ETH: 0x0D2Ab63dfe70a7fA12f9d66eCfEA9dDc8F5173A8