Zero knowledge proofs, STARKs and similar technologies have been recently undergoing on a cambrian explosion. Although the field is highly theoretical, tools, frameworks and especially DSL langues are about to appear that can be used by IT professionals or developers. In this meetup we will investigate the possibilities how the ZK stack can be used in blockchain application development.