PREDA Language Specification

PREDA, Parallel Relay-and-Execution Distributed Architecture, is the smart contract language for defining states and transaction logic that are executed on a parallel multi-chain architecture with relayed execution. It is a high-level programming language with curly-bracket and Algol-like syntax style for general smart contract development.

The PREDA language is naturally parallelized and distributed based on the proposed programming model, which provides object-oriented scope syntax and lambda function syntax to support the two core features of the PREDA model. Any general smart contract written in the PREDA language inherently gains scalability, even those with complexity levels seen in decentralized exchanges.