Интеллектуальная технология контракт очень слаборазвитая:
   - все входы / вычисление / выходы доступны для просмотра всем в blockchains общественных permissionless: самый умные контракты не выполняются / развертываются, потому что только небольшое подмножество терпеть такую ​​конфиденциальность менее среды
   - отсутствие формальной верификации имеет ощутимый экономический эффект (например, ошибка четности бумажника, и ошибка ДАО)
   - правительства не могут шифровать их положения (то есть, беззаконные blockchains)

Мы объединяем последние научные достижения в области безопасного расчета многопартийности и формальных технологии проверки для решения всех этих проблем:
   - Безопасная многопартийное вычисление: быстрые протоколы для высоких таймингов. Обратите внимание, что в одиночку SGX не хватает, потому что он сломан.
   - Шахтер можно вычислить предварительную обработку с целью ускорение обеспечения многопартийных вычислений.
   - Формальная проверка кода: мы включаем новые сценарии, такие как проверка интеллектуальных контрактов до их исполнения. Интересный вариант использования может быть проверка, что умный контракт навязывает правительственные постановления.
   - В настоящее время поддерживаются blockchains (вне цепочки исполнения): Ethereum & Hyperledger ткани.
   - Далее действие с настольным приложением для лучшей частной жизни от конца до конца и производительности: Secure Spreadsheet.

   Мы сдержанный в течение последних нескольких лет спокойно развивающихся нашей технологии: есть программное обеспечение уже доступно на веб-сайте ("Seccomp - The Secure Spreadsheet"). Мы не верим в проектах, которые способствуют их ICO без первого рабочей доставки программного обеспечения.

   Я буду рад ответить на ваши вопросы!

- Веб-сайт: https://www.calctopia.com
- Частные и проверяемые Смарт контракты (Научно-исследовательская работа): https://www.calctopia.com/papers/raziel_paper.pdf
- Бизнес Whitepaper: https://www.calctopia.com/papers/whitepaper.pdf
- Безопасное Исчисление на электронных таблицах (РСТ): https://www.calctopia.com/papers/secSpreadsheets.pdf
- Криптографически Безопасные финансовые инструменты (РСТ): https://www.calctopia.com/papers/csfi.pdf
- Механизм оптимального ICO: https://www.calctopia.com/papers/optimalICO.pdf (Обратите внимание, что ICO пока не объявлены)
- Блог: https://www.calctopia.com/blog/
- GitHub: https://github.com/Calctopia-OpenSource

Свяжитесь с нами: info@calctopia.com

Постскриптум Мы просим сообщество присоединиться к нам в продвижении состояния техники в защищенных вычислениях.