Heutige Blockchain-Systeme beschränken sich nicht mehr nur auf finanzielle Transaktionen innerhalb dezentraler Netzwerke. Stattdessen bieten sie eine Vielzahl zusätzlicher Funktionen. Ein aktueller Trend in der Kryptographie nutzt daher die umfangreiche Funktionalität von Blockchains, um neue kryptographische Dienste zu implementieren und bestehende zu verbessern. Das Potenzial von Blockchain-Systemen ist jedoch längst nicht ausgeschöpft, und es gibt noch erhebliches Verbesserungspotenzial bei bestehenden Blockchain-basierten kryptographischen Lösungen. In dieser Arbeit zielen wir daher darauf ab, weiteres Potenzial für die Bereitstellung fortschrittlicherer kryptographischer Dienste zu erschließen, indem wir Lücken in früheren Arbeiten zu Blockchain-basierter Kryptographie identifizieren und adressieren. Das von Aumann und Lindell (TCC'07) eingeführte Modell der Covert Security ist ein Sicherheitsmodell für kryptographische Protokolle, das es einem Angreifer erlaubt, einen Protokollangriff zu starten und mit einer festen Wahrscheinlichkeit von 1 - e die Sicherheitseigenschaften des Protokolls zu brechen, während ehrliche Parteien mit einer Wahrscheinlichkeit von e den Angriffsversuch erkennen. Zhu et al. (CCS'19) verstärken dieses Modell, indem sie entdeckte Angreifer über einen Smart Contract finanziell bestrafen. Ihre Arbeit konzentriert sich jedoch auf ein spezifisches Zwei-Parteien-Protokoll. In dieser Thesis generalisieren wir den Ansatz von Zhu et al., indem wir zeigen, wie beliebige passiv sichere Protokolle in finanziell gedeckte Covert sichere Protokolle transformiert werden können, welche einen entdeckten Angreifer finanziell bestrafen. Die von Garg et al. (STOC'13) eingeführte Primitive Witness Encryption erlaubt es einer Partei eine Nachricht unter einem Problem x aus einer NP-Sprache L mit einer Relation R zu verschlüsseln, sodass der Ciphertext nur von einer Partei entschlüsselt werden kann, die den entsprechenden Zeugen w kennt, für den R(x,w) gilt. Leider basieren bekannte Instanziierungen von Witness Encryption auf starken Annahmen und sind ineffizient. Zudem berücksichtigt die Standarddefinition von Witness Encryption nicht die Notwendigkeit, das für die Verschlüsselung verwendete Problem x privat zu halten. Goyal et al. (PKC'22) adressieren das erst genannte Problem, indem sie ein von einer Blockchain gewähltes Komitee nutzen um einen Dienst anzubieten, der äquivalent zu Witness Encryption ist, aber weitaus höhere Effizienz mit sich bringt und ohne starke kryptographische Annahmen auskommt. In dieser Thesis adressieren wir das zweite Problem, indem wir zeigen, wie der von Goyal et al. eingeführte komiteebasierte Ansatz so erweitert werden kann, dass das für die Verschlüsselung verwendete Problem x geheim bleibt. Wir verstehen eine virtuelle vertrauenswürdige Drittpartei (V-TTP) als einen Dienst, der kontinuierlich verfügbar ist, strikt dem erwarteten Verhalten folgt, seinen Zustand und seine Kommunikation geheim hält und in der Lage ist, komplexe Berechnungen durchzuführen. Ein vielversprechender Ansatz zur Implementierung einer V-TTP ist die Verwendung eines Smart Contracts, der auf einer Blockchain ausgeführt wird. Die zugrunde liegende Blockchain garantiert die Verfügbarkeit des Contracts und die korrekte Ausführung dessen Codes. Traditionelle Smart Contracts sind jedoch von Natur aus öffentlich und in ihrer Komplexität eingeschränkt. Zwar gibt es eine Vielzahl an Publikationen, die diese Einschränkungen adressieren, doch konzentrieren diese Arbeiten sich oft nur auf einen der genannten Aspekte oder leiden unter anderen Einschränkungen. In dieser Arbeit präsentieren wir daher eine neue Smart Contract-Plattform, die die Einschränkungen früherer Plattformen in einer ganzheitlichen Lösung adressiert. Offensichtlich gehen die Nutzung und die Verbesserung von Blockchain-Funktionen Hand in Hand. Während unserer Arbeit mit Smart Contracts haben wir mehrere Probleme im vorherrschenden Ansatz zur Entwicklung von Smart Contracts identifiziert. Wir adressieren diese Probleme, indem wir eine neue Programmiersprache für Smart Contracts präsentieren, die die Entwicklung von Smart Contract-basierten Anwendungen vereinfacht und das Risiko sicherheitskritischer Programmierfehler verringert.