darkfi/example/smart-contract/proof/contract.zk

# Currently just a dummy contract

constant "SmartContract" {
	EcFixedPointBase NULLIFIER_K,
}

contract "SmartContract" {
	Base something,
}

circuit "SmartContract" {
	constrain_instance(something);
}