Умные контракты

Контракт, Договор — соглашение двух или более лиц

Умные контракты являются компьютерными протоколоми, которые облегчают проверку, обеспечивают согласование и исполнение контракта, что устранит необходимость договорных отношений. Умные контракты обычно также имеют пользовательский интерфейс и часто эмулируют логику договорных положений. Сторонники умных контрактов утверждают, что многие виды договорных положений могут быть частично или полностью самоисполняющимися, самодостаточными и более. Умные контракты направлены на обеспечение безопасности, превосходящие традиционные договорные права и уменьшение транзакционных издержек, связанные с заключением договоров. Wikipedia


Контрактное программирование

Контрактное программирование (design by contract (DbC), programming by contract, contract-based programming) — это метод проектирования программного обеспечения. Он предполагает, что проектировщик должен определить формальные, точные и верифицируемые спецификации интерфейсов для компонентов системы. При этом, кроме обычного определения абстрактных типов данных, также используются предусловия, постусловия и инварианты. Данные спецификации называются «контрактами» в соответствии с концептуальной метафорой условий и ответственности в гражданско-правовых договорах. Википедия


Схема контрактного программирования

Secure Asset Exchange

secureae.com

Smart Contracts: Binding agreements, verified through data and automatically enforced by technology
Create a Smart Contract for Revenue Sharing
Get Capital when Investors buy your Smart Contracts
Issue your Smart Contract into a Market with Large Demand
Automatically Share Your Revenue as You Earn It = In Realtime
Anyone can Securely Invest in Smart Contracts with Bitcoin
Quickly Buy or Sell Ownership in a Liquid Trading Environment

Smart Contracts are a set of contractual clauses written in computer code; verified for performance based on data eg:bank transactions and enforced by technology rather than a legal system.

Smart Contracts perform this verification and enforcement near instantly; as soon as the relevant data signifies that an obligation has been met.

Our Exchange Infrastructure is entirely Peer to Peer

We provide access to the leading peer to peer decentralized Exchange infrastructure from NXT

NXT is the leading blockchain 2.0 cryptocurrency by Market Cap (http://coinmarketcap.com/) because it provides the first scaleable peer to peer decentralized exchange infrastructure.

We allow issuers and investors to utilize this decentralized infrastructure to it's full potential, by offering investors and issuers a suite of easy to use web-based tools to interact with an exchange infrastructure that nobody controls and therefore everyone can trust.


Публикации

Российские разработчики создали платформу для управления децентрализованными автономными организациями

Разработчики из Bitfork Develop представили свой новый проект основанный на сети Ethereum — AIRA DAO. Подробнее...

Ник Сабо о банках, умных контрактах и безопасности Биткойна

Легендарный криптограф Ник Сабо утверждает, что лучший способ создать бесшовную, автоматизированную, глобальную финансовую структуру: убедить банки признать блокчейны, не требующие авторизации, например, тот, на основе которого существует Биткойн. Подробнее...

Умные контракты помогут государствам принять криптовалюты

В данной статье пойдет речь исключительно об объектах существующих в цифровом виде, т.к. на сегодняшний день невозможно представить умный контракт существующий в другой форме. Подробнее...

Bitcoin: встроенная система сценариев и цифровые контракты

Встроенная система сценариев, предназначенная для проверки валидности транзакций, а также некоторые её возможности. На родном языке такой информации мне не попадалось, потому вношу свою лепту. Подробнее...

Умные контракты (Четвертая революция стоимости)

Это сделанный по нашей просьбе авторский сжатый римэйк более ранних работ. Опубликовано в журнале "Компьютерра" №38 от 29 сентября 1998 года. Автор: НИК САБО | Раздел: КОМПЬЮНОМИКА Подробнее...