opshin is a programming language for developing smart contracts on the Cardano blockchain.Its syntax is 100% valid Python code and it ensures that contracts evaluate on-chainexactly as their Python counterpart.This allows unit tests and verification of the Python code using standard tooling available for Python development.Existing IDEs, linters and language servers may be re-used as well.Note that the type system of opshin is much stricter than the type system of Python, so that many optimizations can be implemented and an elevated level of security is provided.
The language interacts closely with the python library PyCardano.The internal data structures are defined with data types compatible to the library and allow a tight combination of off- and on-chain code, all written in Python.
A complete example on a small written contract and off-chain code to deploy it on-chain can be found in the opshin-starter-kit repository.It contains code that will compile the contract and deploy it to the preview testnet, runnable in demeter.run, in your browser.
from opshin.prelude import *
@dataclass()
class WithdrawDatum(PlutusData):
pubkeyhash: bytes
def validator(datum: WithdrawDatum, redeemer: None, context: ScriptContext) -> None:
sig_present = False
for s in context.tx_info.signatories:
if datum.pubkeyhash == s:
sig_present = True
assert sig_present, "Required signature missing"
It checks the presence of a specific signature in the transaction to approve spending funds.We can compile the contract like this
The result is a directory filled with the contract address, policy ID and data that will be used by off-chain libraries to interact with the contract.
