AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-12-22 00:51:33 +03:00
Code Issues Packages Projects Releases Wiki Activity

[RFC] Move background to new section.

Browse Source
This commit is contained in:
Alessandro Coglio 2021-09-27 12:30:13 -07:00
parent 5ee579005c
commit 4c95d41c31
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/rfc/012-record-transaction-model.md
View File

@ -23,7 +23,7 @@ While Leo can be described as a regular programming language
its purpose is to build applications for the Aleo blockchain.
It is thus important to describe precisely how Leo programs operate in the Aleo blockchain.
## Design
## Background
### Zexe
@ -132,6 +132,8 @@ on those values and on the old records
yields the new records, along with some value in `Output`;
this is, roughly speaking, the assertion proved in zero-knowledge.
## Design
### Proposed Leo Program Execution Model
The current model described above seems adequate overall, but we need to: