Bitcoin Forum
September 22, 2025, 09:59:15 PM *
News: Latest Bitcoin Core release: 29.0 [Torrent]
 
  Home Help Search Login Register More  
  Show Posts
Pages: [1]
1  Alternate cryptocurrencies / Announcements (Altcoins) / Re: [ANN] RAZIEL - Private and Verifiable Smart Contracts on Blockchains on: November 15, 2017, 12:31:59 AM
Hi Fonix,

It's an ERC20 token. You can see a preliminary version here: https://github.com/Calctopia-OpenSource/contracts

Thanks for your interest.
2  Alternate cryptocurrencies / Announcements (Altcoins) / [ANN] RAZIEL - Private and Verifiable Smart Contracts on Blockchains on: November 15, 2017, 12:03:20 AM
Smart contract technology is very under-developed:
   - all inputs/computations/outputs are viewable to everybody in public permissionless blockchains: most smart contracts are not being implemented/deployed because only a small subset tolerate such a privacy-less environment
   - lack of formal verification has a tangible economic impact (e.g., Parity wallet bug and The DAO bug)
   - governments can't codify their regulations (i.e., lawless blockchains)

We combine the latest research advances in secure multiparty computation and formal verification technologies to solve all these problems:
   - Secure multiparty computation: fast protocols for high latency settings. Note that SGX alone is not enough because it's broken.
   - Miners could compute pre-processing to speed-up secure multiparty computation.
   - Formal verification of code: we enable new scenarios such as verifying smart contracts before their execution. An interesting use case could be checking that a smart contract enforces governmental regulations.
   - Currently supported blockchains (off-chain execution): Ethereum & Hyperledger Fabric.
   - Further operable from a desktop application for better end-to-end privacy and performance: The Secure Spreadsheet.

   We've been discreet for the past few years quietly developing our technology: there is software already available on the website ("SECCOMP - The Secure Spreadsheet"). We don't believe in projects that promote their ICO without first shipping working software.

   I'd be happy to answer your questions!

- Website: https://www.calctopia.com
- Private and Verifiable Smart Contracts (Research Paper): https://www.calctopia.com/papers/raziel_paper.pdf
- Business Whitepaper: https://www.calctopia.com/papers/whitepaper.pdf
- Secure Computation on Spreadsheets (PCT): https://www.calctopia.com/papers/secSpreadsheets.pdf
- Cryptographically Secure Financial Instruments (PCT): https://www.calctopia.com/papers/csfi.pdf
- An Optimal ICO Mechanism: https://www.calctopia.com/papers/optimalICO.pdf (please note that an ICO is yet to be announced)
- Blog: https://www.calctopia.com/blog/
- GitHub: https://github.com/Calctopia-OpenSource

Contact us: info@calctopia.com

P.S. We ask for the community to join us in advancing the state of the art in secure computation.
Pages: [1]
Powered by MySQL Powered by PHP Powered by SMF 1.1.19 | SMF © 2006-2009, Simple Machines Valid XHTML 1.0! Valid CSS!