d0cd

[Fix] Flattening finalize.

1

This PR fixes flattening in `finalize` blocks.

[Refactor] Remove dependency on snarkOS.

1

This PR removes the dependency on `snarkos-cli` and supports deployments/executions directly.

[DO NOT MERGE] Testnet Beta.

1

This branch contains the Testnet Beta version of Leo.

This PR updates the type checker to return an informative error if a struct is declared without any members. Closes https://github.com/AleoNet/snarkVM/issues/2058.

## 🚀 Feature ``` program foo.leo { const LENGTH: u32 = 10u32; transition eat(array: [field; LENGTH]) {...} }

[Aleo Developer Documentation Review](https://docs.google.com/document/d/1K48SvdBqX7IcXDkgIWA4rDbIWaWgUJagrxquXsm7-T0/edit?usp=sharing) Shout out to @acoglio for putting together this comprehensive list of suggestions! If you'd like to make any fixes based on this list, please comment on...

Add Leo

2

This PR adds Linguist support for the Leo progamming language. Leo is a high-level language that allows developers to use zero-knowledge proofs in their applications while abstracting away the cryptographic...

Add Aleo instructions

2

This PR adds Linguist support for Aleo instructions, the format recognized and executed by the Aleo Virtual Machine (AVM). The AVM is a virtual machine with built-in cryptographic primitives for...

This PR avoids ejecting the scalar value when loading and storing a circuit. ## Failing Case This issue was found in a deployed program. Suppose that we have a program...