Smart Contracts for Electronic Cash
Spedn is a high level smart contracts programming language compiled to Bitcoin Script.
It is designed for explicitness and safety
// Example
contract Bet(PubKey alice, PubKey bob, PubKey oracle) {
challenge aliceWins(Sig sig, DataSig oracleSig, [byte] nonce) {
verify checkSig(sig, alice);
verify checkDataSig(oracleSig, sha256("Alice wins" . nonce), oracle);
}
challenge bobWins(Sig sig, DataSig oracleSig, [byte] nonce) {
verify checkSig(sig, bob);
verify checkDataSig(oracleSig, sha256("Bob wins" . nonce), oracle);
}
}
