# Welcome to the R3 prototyping repository!

This documentation describes the first prototype of a possible future R3 shared ledger platform.

The goal of this prototype is to explore fundamentally better designs for transactions, states and smart contract APIs than what presently exists on the market, tailor made for the needs of the financial industry. We are attempting to prove or disprove the following hypothesis:

The combination of

- An upgraded state transition model
- Industry standard, production quality virtual machines and languages
- Limited data propagation
- Conflict resolution without proof of work or blocks

is sufficiently powerful to justify the creation of a new platform implementation.

Read on to learn:

- What’s included?
- Overview
  - Data model
  - Contracts
  - Kotlin
- Getting set up
  - If IntelliJ complains about lack of an SDK
  - Doing it without IntelliJ
- Tutorial
  - Starting the commercial paper class
  - States
  - Commands
  - The verify function
  - Understanding fungibility
  - Checking the requirements
  - How to test your contract
  - Adding a crafting API to your contract
  - Non-asset-oriented based smart contracts
- Networking and messaging
  - Messaging vs networking
  - Interfaces
  - In memory implementation
- Protocol state machines
  - Introduction
  - Theory
  - A two party trading protocol
  - The state machine manager
  - Implementing the seller
  - Implementing the buyer
- Using the visualiser
- Roadmap