Add Aleo instructions

.gitmodules

@@ -242,6 +242,9 @@
 [submodule "vendor/grammars/aidl-language"]
 	path = vendor/grammars/aidl-language
 	url = https://github.com/google/aidl-language
+[submodule "vendor/grammars/aleo-linguist"]
+	path = vendor/grammars/aleo-linguist
+	url = https://github.com/ProvableHQ/aleo-linguist.git
 [submodule "vendor/grammars/ampl"]
 	path = vendor/grammars/ampl
 	url = https://github.com/ampl/sublime-ampl

grammars.yml

@@ -199,6 +199,8 @@ vendor/grammars/agda-github-syntax-highlighting:
 - source.agda
 vendor/grammars/aidl-language:
 - source.aidl
+vendor/grammars/aleo-linguist:
+- source.aleo
 vendor/grammars/ampl:
 - source.ampl
 vendor/grammars/android-system-tools:

lib/linguist/languages.yml

@@ -261,6 +261,14 @@ Agda:
   tm_scope: source.agda
   ace_mode: text
   language_id: 12
+Aleo:
+  type: programming
+  color: "#154BF9"
+  extensions:
+  - ".aleo"
+  tm_scope: source.aleo
+  ace_mode: text
+  language_id: 566431048
 Alloy:
   type: programming
   color: "#64C800"
@@ -943,11 +951,11 @@ Caddyfile:
   type: data
   color: "#22b638"
   aliases:
-    - Caddy
+  - Caddy
   extensions:
-    - ".caddyfile"
+  - ".caddyfile"
   filenames:
-    - Caddyfile
+  - Caddyfile
   ace_mode: text
   tm_scope: source.Caddyfile
   language_id: 615465151
@@ -5359,7 +5367,7 @@ Pkl:
   extensions:
   - ".pkl"
   interpreters:
-    - pkl
+  - pkl
   tm_scope: source.pkl
   ace_mode: text
   language_id: 288822799

samples/Aleo/arrays_in_finalize.aleo

@@ -0,0 +1,38 @@
+/* This program follows the license outlined, here: https://github.com/AleoNet/snarkVM/blob/mainnet/LICENSE.md */
+
+program arrays_in_finalize.aleo;
+
+struct tree:
+    left as [[boolean; 4u32]; 1u32];
+    right as [[boolean; 4u32]; 1u32];
+
+function check_array_equality:
+    input r0 as [[boolean; 4u32]; 1u32].public;
+    input r1 as [[boolean; 4u32]; 1u32].public;
+    cast r0 r1 into r2 as tree;
+    and r2.left[0u32][0u32] r2.right[0u32][0u32] into r3;
+    and r2.left[0u32][1u32] r2.right[0u32][1u32] into r4;
+    and r2.left[0u32][2u32] r2.right[0u32][2u32] into r5;
+    and r2.left[0u32][3u32] r2.right[0u32][3u32] into r6;
+    cast r3 r4 r5 r6 into r7 as [boolean; 4u32];
+    cast r7 into r8 as [[boolean; 4u32]; 1u32];
+    async test_arrays r0 r1 into r9;
+    output r0 as [[boolean; 4u32]; 1u32].public;
+    output r1 as [[boolean; 4u32]; 1u32].public;
+    output r8 as [[boolean; 4u32]; 1u32].public;
+    output r2 as tree.private;
+    output r9 as arrays_in_finalize.aleo/check_array_equality.future;
+
+finalize check_array_equality:
+    input r0 as [[boolean; 4u32]; 1u32].public;
+    input r1 as [[boolean; 4u32]; 1u32].public;
+    and r0[0u32][0u32] r1[0u32][0u32] into r2;
+    and r0[0u32][1u32] r1[0u32][1u32] into r3;
+    and r0[0u32][2u32] r1[0u32][2u32] into r4;
+    and r0[0u32][3u32] r1[0u32][3u32] into r5;
+    cast r2 r3 r4 r5 into r6 as [boolean; 4u32];
+    cast r6 into r7 as [[boolean; 4u32]; 1u32];
+    assert.eq r7[0u32][0u32] false;
+    assert.eq r7[0u32][1u32] false;
+    assert.eq r7[0u32][2u32] false;
+    assert.eq r7[0u32][3u32] false;

samples/Aleo/key_value_store.aleo

@@ -0,0 +1,34 @@
+/* This program follows the license outlined, here: https://github.com/AleoNet/snarkVM/blob/mainnet/LICENSE.md */
+
+program key_value_store.aleo;
+
+mapping data:
+    key as u8.public;
+    value as u8.public;
+
+function insert_contains_remove:
+    input r0 as u8.public;
+    input r1 as u8.public;
+    async insert_contains_remove r0 r1 into r2;
+    output r2 as key_value_store.aleo/insert_contains_remove.future;
+
+finalize insert_contains_remove:
+    input r0 as u8.public;
+    input r1 as u8.public;
+    contains data[r0] into r2;
+    assert.eq r2 false;
+    set r1 into data[r0];
+    contains data[r0] into r3;
+    assert.eq r3 true;
+    remove data[r0];
+    contains data[r0] into r4;
+    assert.eq r4 false;
+
+function empty_remove:
+    input r0 as u8.public;
+    async empty_remove r0 into r1;
+    output r1 as key_value_store.aleo/empty_remove.future;
+
+finalize empty_remove:
+    input r0 as u8.public;
+    remove data[r0];

samples/Aleo/signature_verification.aleo

@@ -0,0 +1,29 @@
+/* This program follows the license outlined, here: https://github.com/AleoNet/snarkVM/blob/mainnet/LICENSE.md */
+
+program signature_verification.aleo;
+
+function verify:
+    input r0 as signature.private;
+    input r1 as address.private;
+    input r2 as field.private;
+    sign.verify r0 r1 r2 into r3;
+    output r3 as boolean.private;
+
+function verify_constant_signature:
+    input r0 as address.private;
+    input r1 as field.private;
+    sign.verify sign169ju4e8s66unu25celqycvsv3k9chdyz4n4sy62tx6wxj0u25vqp58hgu9hwyqc63qzxvjwesf2wz0krcvvw9kd9x0rsk4lwqn2acqhp9v0pdkhx6gvkanuuwratqmxa3du7l43c05253hhed9eg6ppzzfnjt06fpzp6msekdjxd36smjltndmxjndvv9x2uecsgngcwsc2qkns4afd r0 r1 into r2;
+    output r2 as boolean.private;
+
+function literal_ops_on_signatures:
+    input r0 as boolean.private;
+    input r1 as signature.private;
+    input r2 as signature.private;
+    assert.eq r1 r1;
+    assert.eq r2 r2;
+    is.eq r1 r2 into r3;
+    is.neq r1 r2 into r4;
+    ternary r0 r1 r2 into r5;
+    output r3 as boolean.private;
+    output r4 as boolean.private;
+    output r5 as signature.private;

vendor/README.md

@@ -28,6 +28,7 @@ This is a list of grammars that Linguist selects to provide syntax highlighting
 - **Adblock Filter List:** [AdguardTeam/VscodeAdblockSyntax](https://github.com/AdguardTeam/VscodeAdblockSyntax)
 - **Adobe Font Metrics:** [Alhadis/language-fontforge](https://github.com/Alhadis/language-fontforge)
 - **Agda:** [agda/agda-github-syntax-highlighting](https://github.com/agda/agda-github-syntax-highlighting)
+- **Aleo:** [ProvableHQ/aleo-linguist](https://github.com/ProvableHQ/aleo-linguist)
 - **Alloy:** [macekond/Alloy.tmbundle](https://github.com/macekond/Alloy.tmbundle)
 - **Alpine Abuild:** [atom/language-shellscript](https://github.com/atom/language-shellscript)
 - **Altium Designer:** [textmate/ini.tmbundle](https://github.com/textmate/ini.tmbundle)

vendor/licenses/git_submodule/aleo-linguist.dep.yml

@@ -0,0 +1,211 @@
+---
+name: aleo-linguist
+version: e8bb0aabe16d9902903abc7ec330a5d4c17976a6
+type: git_submodule
+homepage: https://github.com/ProvableHQ/aleo-linguist.git
+license: apache-2.0
+licenses:
+- sources: LICENSE
+  text: |2
+                                     Apache License
+                               Version 2.0, January 2004
+                            http://www.apache.org/licenses/
+
+       TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+       1. Definitions.
+
+          "License" shall mean the terms and conditions for use, reproduction,
+          and distribution as defined by Sections 1 through 9 of this document.
+
+          "Licensor" shall mean the copyright owner or entity authorized by
+          the copyright owner that is granting the License.
+
+          "Legal Entity" shall mean the union of the acting entity and all
+          other entities that control, are controlled by, or are under common
+          control with that entity. For the purposes of this definition,
+          "control" means (i) the power, direct or indirect, to cause the
+          direction or management of such entity, whether by contract or
+          otherwise, or (ii) ownership of fifty percent (50%) or more of the
+          outstanding shares, or (iii) beneficial ownership of such entity.
+
+          "You" (or "Your") shall mean an individual or Legal Entity
+          exercising permissions granted by this License.
+
+          "Source" form shall mean the preferred form for making modifications,
+          including but not limited to software source code, documentation
+          source, and configuration files.
+
+          "Object" form shall mean any form resulting from mechanical
+          transformation or translation of a Source form, including but
+          not limited to compiled object code, generated documentation,
+          and conversions to other media types.
+
+          "Work" shall mean the work of authorship, whether in Source or
+          Object form, made available under the License, as indicated by a
+          copyright notice that is included in or attached to the work
+          (an example is provided in the Appendix below).
+
+          "Derivative Works" shall mean any work, whether in Source or Object
+          form, that is based on (or derived from) the Work and for which the
+          editorial revisions, annotations, elaborations, or other modifications
+          represent, as a whole, an original work of authorship. For the purposes
+          of this License, Derivative Works shall not include works that remain
+          separable from, or merely link (or bind by name) to the interfaces of,
+          the Work and Derivative Works thereof.
+
+          "Contribution" shall mean any work of authorship, including
+          the original version of the Work and any modifications or additions
+          to that Work or Derivative Works thereof, that is intentionally
+          submitted to Licensor for inclusion in the Work by the copyright owner
+          or by an individual or Legal Entity authorized to submit on behalf of
+          the copyright owner. For the purposes of this definition, "submitted"
+          means any form of electronic, verbal, or written communication sent
+          to the Licensor or its representatives, including but not limited to
+          communication on electronic mailing lists, source code control systems,
+          and issue tracking systems that are managed by, or on behalf of, the
+          Licensor for the purpose of discussing and improving the Work, but
+          excluding communication that is conspicuously marked or otherwise
+          designated in writing by the copyright owner as "Not a Contribution."
+
+          "Contributor" shall mean Licensor and any individual or Legal Entity
+          on behalf of whom a Contribution has been received by Licensor and
+          subsequently incorporated within the Work.
+
+       2. Grant of Copyright License. Subject to the terms and conditions of
+          this License, each Contributor hereby grants to You a perpetual,
+          worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+          copyright license to reproduce, prepare Derivative Works of,
+          publicly display, publicly perform, sublicense, and distribute the
+          Work and such Derivative Works in Source or Object form.
+
+       3. Grant of Patent License. Subject to the terms and conditions of
+          this License, each Contributor hereby grants to You a perpetual,
+          worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+          (except as stated in this section) patent license to make, have made,
+          use, offer to sell, sell, import, and otherwise transfer the Work,
+          where such license applies only to those patent claims licensable
+          by such Contributor that are necessarily infringed by their
+          Contribution(s) alone or by combination of their Contribution(s)
+          with the Work to which such Contribution(s) was submitted. If You
+          institute patent litigation against any entity (including a
+          cross-claim or counterclaim in a lawsuit) alleging that the Work
+          or a Contribution incorporated within the Work constitutes direct
+          or contributory patent infringement, then any patent licenses
+          granted to You under this License for that Work shall terminate
+          as of the date such litigation is filed.
+
+       4. Redistribution. You may reproduce and distribute copies of the
+          Work or Derivative Works thereof in any medium, with or without
+          modifications, and in Source or Object form, provided that You
+          meet the following conditions:
+
+          (a) You must give any other recipients of the Work or
+              Derivative Works a copy of this License; and
+
+          (b) You must cause any modified files to carry prominent notices
+              stating that You changed the files; and
+
+          (c) You must retain, in the Source form of any Derivative Works
+              that You distribute, all copyright, patent, trademark, and
+              attribution notices from the Source form of the Work,
+              excluding those notices that do not pertain to any part of
+              the Derivative Works; and
+
+          (d) If the Work includes a "NOTICE" text file as part of its
+              distribution, then any Derivative Works that You distribute must
+              include a readable copy of the attribution notices contained
+              within such NOTICE file, excluding those notices that do not
+              pertain to any part of the Derivative Works, in at least one
+              of the following places: within a NOTICE text file distributed
+              as part of the Derivative Works; within the Source form or
+              documentation, if provided along with the Derivative Works; or,
+              within a display generated by the Derivative Works, if and
+              wherever such third-party notices normally appear. The contents
+              of the NOTICE file are for informational purposes only and
+              do not modify the License. You may add Your own attribution
+              notices within Derivative Works that You distribute, alongside
+              or as an addendum to the NOTICE text from the Work, provided
+              that such additional attribution notices cannot be construed
+              as modifying the License.
+
+          You may add Your own copyright statement to Your modifications and
+          may provide additional or different license terms and conditions
+          for use, reproduction, or distribution of Your modifications, or
+          for any such Derivative Works as a whole, provided Your use,
+          reproduction, and distribution of the Work otherwise complies with
+          the conditions stated in this License.
+
+       5. Submission of Contributions. Unless You explicitly state otherwise,
+          any Contribution intentionally submitted for inclusion in the Work
+          by You to the Licensor shall be under the terms and conditions of
+          this License, without any additional terms or conditions.
+          Notwithstanding the above, nothing herein shall supersede or modify
+          the terms of any separate license agreement you may have executed
+          with Licensor regarding such Contributions.
+
+       6. Trademarks. This License does not grant permission to use the trade
+          names, trademarks, service marks, or product names of the Licensor,
+          except as required for reasonable and customary use in describing the
+          origin of the Work and reproducing the content of the NOTICE file.
+
+       7. Disclaimer of Warranty. Unless required by applicable law or
+          agreed to in writing, Licensor provides the Work (and each
+          Contributor provides its Contributions) on an "AS IS" BASIS,
+          WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+          implied, including, without limitation, any warranties or conditions
+          of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+          PARTICULAR PURPOSE. You are solely responsible for determining the
+          appropriateness of using or redistributing the Work and assume any
+          risks associated with Your exercise of permissions under this License.
+
+       8. Limitation of Liability. In no event and under no legal theory,
+          whether in tort (including negligence), contract, or otherwise,
+          unless required by applicable law (such as deliberate and grossly
+          negligent acts) or agreed to in writing, shall any Contributor be
+          liable to You for damages, including any direct, indirect, special,
+          incidental, or consequential damages of any character arising as a
+          result of this License or out of the use or inability to use the
+          Work (including but not limited to damages for loss of goodwill,
+          work stoppage, computer failure or malfunction, or any and all
+          other commercial damages or losses), even if such Contributor
+          has been advised of the possibility of such damages.
+
+       9. Accepting Warranty or Additional Liability. While redistributing
+          the Work or Derivative Works thereof, You may choose to offer,
+          and charge a fee for, acceptance of support, warranty, indemnity,
+          or other liability obligations and/or rights consistent with this
+          License. However, in accepting such obligations, You may act only
+          on Your own behalf and on Your sole responsibility, not on behalf
+          of any other Contributor, and only if You agree to indemnify,
+          defend, and hold each Contributor harmless for any liability
+          incurred by, or claims asserted against, such Contributor by reason
+          of your accepting any such warranty or additional liability.
+
+       END OF TERMS AND CONDITIONS
+
+       APPENDIX: How to apply the Apache License to your work.
+
+          To apply the Apache License to your work, attach the following
+          boilerplate notice, with the fields enclosed by brackets "[]"
+          replaced with your own identifying information. (Don't include
+          the brackets!)  The text should be enclosed in the appropriate
+          comment syntax for the file format. We also recommend that a
+          file or class name and description of purpose be included on the
+          same "printed page" as the copyright notice for easier
+          identification within third-party archives.
+
+       Copyright [yyyy] [name of copyright owner]
+
+       Licensed under the Apache License, Version 2.0 (the "License");
+       you may not use this file except in compliance with the License.
+       You may obtain a copy of the License at
+
+           http://www.apache.org/licenses/LICENSE-2.0
+
+       Unless required by applicable law or agreed to in writing, software
+       distributed under the License is distributed on an "AS IS" BASIS,
+       WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+       See the License for the specific language governing permissions and
+       limitations under the License.
+notices: []