

ZENROOM - CRYPTO LANGUAGE VM


[software by Dyne.org]

Zenroom is a brand new virtual machine for fast cryptographic operations
on Elliptic Curves. The Zenroom VM has no external dependencies,
includes a cutting edge selection of C99 libraries and builds a small
executable ready to run on: desktop, embedded, mobile, cloud and
browsers (webassembly). It also compiles unikernel (without Linux).

Zencode is the name of the language executed by Zenroom: it is simple to
understand and can process large data structures while operating
cryptographic transformations on them. Zencode is a Domain Specific
Language whose design is informed by pilot use-cases in DECODE.


Latest stable release is 0.8.0:


Documentation:

Zenroom is software in ALPHA STAGE and is part of the DECODE project
about data commons and technological sovereignty. Our effort is that of
improving people's awareness of how their data is processed by
algorithms, as well facilitate the work of developers to create along
privacy by design principles.

This software aims to make it easy and less error-prone to write
PORTABLE scripts using END-TO-END ENCRYPTION inside isolated
environments that can be easily made INTEROPERABLE. Basic crypto
functions provided include primitives to manage A/SYMMETRIC KEYS, KEY
DERIVATION, HASHING AND SIGNING FUNCTIONALITIES.

Zenroom is software inspired by the language-theoretical security
research, it allows to expresses cryptographic operations in a readable
scripting language that has no access to the calling process, underlying
operating system or filesystem.

Zenroom's RESTRICTED EXECUTION ENVIRONMENT is a sort of sandbox whose
parser is based on LUA's syntax-direct translation and has
coarse-grained control of computations and memory. The Zenroom VM is
designed to "brittle" and exit execution returning a meaningful message
on any error.

Zenroom's documentation and examples are being written to encourage a
declarative approach to scripting, providing functional tools to
manipulate efficiently even complex data structures.

The main use case for Zenroom is that of DISTRIBUTED COMPUTING of
untrusted code where advanced cryptographic functions are required, for
instance it can be used as a distributed ledger implementation (also
known as BLOCKCHAIN SMART CONTRACTS).

This project is receiving funding from the European Union’s Horizon 2020
research and innovation programme under grant agreement nr. 732546
(DECODE).


Acknowledgements

Copyright (C) 2017-2018 by Dyne.org foundation, Amsterdam

Designed, written and maintained by Denis Roio jaromil@dyne.org

With contributions by Ivan J., Puria Nafisi Azizi, Jordi Coscolla,
Christian Espinoza, Enrico Zimuel and Daniele Lacamera.

Special thanks to Francesca Bria for leading the DECODE project and to
George Danezis, Ola Bini, Mark de Villiers, Alberto Sonnino and Richard
Stallman for their expert reviews.

This software includes software components by: R. Ierusalimschy, W.
Celes and L.H. de Figueiredo (lua), Mike Scott and Kealan McCusker
(milagro-crypto-c), Ralph Hempel (umm_malloc), Mark Pulford (lua-cjson),
Daan Sprenkels (randombytes), Luke-jr (base58), Salvatore Sanfilippo
(cmsgpack)

Lua extensions written and documented by: Roland Yonaba (moses), Enrique
García Cota (inspect), Sebastian Schoener (schema), Kyle Conroy (finite
state machine), Scott Lembcke (debugger), Gianluca Vespignani
(comparetables).

Zenroom is Licensed under the terms of the GNU Public License as
published by the Free Software Foundation; either version 3 of the
License, or (at your option) any later version.

Software contained include Lua 5.3, Copyright (C) 1994-2017 Lua.org,
PUC-Rio licensed with an MIT style license. Also included Milagro,
Copyright 2016 MIRACL UK Ltd licensed with the Apache License, Version
2.0 (the "License").

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License.
