ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 02:01:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

Add markdown changes

Browse Source
This commit is contained in:
GitHub Action 2020-06-16 01:18:30 +00:00
parent 25fdc766cc
commit 09cc76c09a
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
.resources/README-md-1.png
View File

Binary file not shown.
Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 7.5 KiB

After

Width:  |  Height:  |  Size: 14 KiB

10
README.md
View File

@ -2,6 +2,11 @@
## Compiler Architecture
<!-- generated by mermaid compile action - START -->
![~mermaid diagram 1~](/.resources/README-md-1.png)
<details>
<summary>Mermaid markup</summary>
```mermaid
graph LR
Pass1(Syntax Parser) -- ast --> Pass2(Type Resolver)
@ -14,6 +19,9 @@ graph LR
Pass4 -- constraints --> Pass5(Circuit)
```
</details>
<!-- generated by mermaid compile action - END -->
## Language Specification
* Programs should be formatted:
@ -574,4 +582,4 @@ cargo install --path .
- Change `target` directory to some other directory to avoid collision.
- Figure out how `leo prove` should take in assignments.
- Come up with a serialization format for `.leo.pk`, `.leo.vk`, and `.leo.proof`.
- Come up with a serialization format for `.leo.pk`, `.leo.vk`, and `.leo.proof`.