Title: [ANN] RAZIEL - Private and Verifiable Smart Contracts on Blockchains Post by: dcersan 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. Title: Re: [ANN] RAZIEL - Private and Verifiable Smart Contracts on Blockchains Post by: Fonix on November 15, 2017, 12:13:52 AM From this description is in not clear for me, is your project a coin with it's own blockchain, or a token such as ERC20?
If it is coin, could you post some specific, please? Title: Re: [ANN] RAZIEL - Private and Verifiable Smart Contracts on Blockchains Post by: dcersan 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. |