Wie man private Smart Contracts erstellt über: - zkSNARK: Der Zustand sind Verpflichtungen, ein einzelner Beweiser berechnet auf Klartext und veröffentlicht einen zkSNARK, keine globale Entschlüsselung oder Zugriffskontrolle. - coSNARK: Der Zustand sind Verpflichtungen, die Berechnung erfolgt off-chain über MPC, sodass kein einzelner Server das vollständige Zeugnis sieht, immer noch keine globale Entschlüsselung oder Zugriffskontrolle. - TEE: Der Zustand ist Chiffretext außen und Klartext innen im Enklave, Berechnung und Richtlinien-gesteuerte Entschlüsselung laufen innerhalb einer remote attestierten Enklave, die auf Hardware/Attestierungsintegrität angewiesen ist. - FHE: Der Zustand ist Chiffretext unter einem gemeinsamen FHE-Schlüssel, jeder kann homomorph mit On-Chain-Verifizierung auswerten, die Entschlüsselung wird durch ein Richtlinien-gesteuertes Schwellenkomitee (Kollusionsrisiko) gesteuert. - iO: Der Zustand ist Chiffretext und die Berechnung ist homomorph, ein öffentlicher obfuszierter Entschlüsseler setzt die Entschlüsselungsrichtlinie ohne einen aktiven Schlüsselinhaber durch (kein Kollusionsrisiko).

Ich hatte die Idee, dies zu schreiben, während ich den Jigsaw-Vortrag bei SBC () gesehen habe, der einen coSNARK-basierten Ansatz für private Smart Contracts behandelt.