Hybrid smart contracts