|
@@ -5,10 +5,10 @@ zkas is a compiler for the Halo2 zkVM langage used in
|
|
|
[DarkFi](https://github.com/darkrenaissance/darkfi).
|
|
[DarkFi](https://github.com/darkrenaissance/darkfi).
|
|
|
|
|
|
|
|
The documentation on both the compiler and the language can be found
|
|
The documentation on both the compiler and the language can be found
|
|
|
-in the book: https://darkrenaissance.github.io/darkfi/zkas/zkas.html
|
|
|
|
|
|
|
+in the book: <https://darkrenaissance.github.io/darkfi/zkas/zkas.html>
|
|
|
|
|
|
|
|
The current implementation found in the DarkFi repository inside
|
|
The current implementation found in the DarkFi repository inside
|
|
|
-https://github.com/darkrenaissance/darkfi/tree/master/zkas is the
|
|
|
|
|
|
|
+<https://github.com/darkrenaissance/darkfi/tree/master/zkas> is the
|
|
|
reference compiler and language implementation. It is a toolchain
|
|
reference compiler and language implementation. It is a toolchain
|
|
|
consisting of a lexer, parser, static and semantic analyzers, and a
|
|
consisting of a lexer, parser, static and semantic analyzers, and a
|
|
|
binary code compiler.
|
|
binary code compiler.
|