Obsidian Language for Blockchain