Zero-Knowledge Proof-of-Identity
The Holy Grail of Blockchains, or how to build the most scalable, decentralised and secure blockchain, solved in the next publication (bonus: also including identity!).
Proof-Carrying Code for Verifying Smart Contracts
How are smart contracts being verified nowadays? Generally, smart contracts are stored on the blockchain and the executing party must inspect their source code before executing them. If there are N parties that want to execute the source code, all…
Obliv-Java: a Java Virtual Machine for Secure Computation and its Application to Smart Contracts
The five ascending levels of intellect: Smart, Intelligent, Brilliant, Genius, Simple. Albert Einstein Beyond the genius of secure computation, there is the simplicity of its use. Previous approaches to secure computation have developed their own programming languages and new type…
Open-source @ Calctopia
We have started open-sourcing some of our technology: An Optimal ICO Mechanism: a Python script to compute a Multi-Unit Vickrey-Dutch auction. The full implementation of the Optimal ICO Mechanism will be open-sourced soon. An example smart contract for the Optimal…