Next-Generation machine-learning algorithms and smart-contract development with multiple Domain Specific Languages.