Top Stories published by KIRIK in 2017

Semantic Smart Contracts and Investment Management

Версия на русском тут

Verification and Audit of Crypto Projects

The problem of audit and verification of projects is more pressing to crypto funds than it is to…


Что означает поддержка платежей в Telegram через Сбербанк

Вчера Telegram анонсировал поддержку платежей через Сбербанк РФ для чатботов. Это далеко не первая российская платежная система, поддерживаемая в Telegram.

About
KIRIK
Semantic contracts based on the theory of executable specifications developed by the world famous mathematicians. The technology is understandable to specialists in various subject areas and allows to conduct transactions between various blockchains and outside of them.
More information
Tags
Editors