d0cd

This PR implements a permutation check via arbitrary-size Waksman networks.

This PR, - implements a prototype for the `flagged_division` circuit and opcodes. - adds supports in opcode macros for binary operations with two outputs.

[Bug] Execution for Pedersen `commit` instructions.

6

## 🐛 Bug Report The two Pedersen variants of the `commit` instruction take up-to 64 and 128 bit inputs respectively. However, using `Value::to_bits_le` (it's because of `Plaintext::to_bits_le`) introduces additional bits...

This PR adds functionality to compute the assignment to the switches of an arbitrary-size Waksman network, such that the network implements the desired permutation. Depends on #1586.

## Motivation As we roll out on-chain execution via `finalize`, we need to benchmark its performance on "real" workloads. While the definition of a "real" workload is somewhat arbitrary, we...

[Bug] Deserialization/Parsing consumes more input than permitted.

1

## 🐛 Bug Report A number of datatypes implement the `FromBytes`, `ToBytes`, and `Parser` traits. Some implementations are initially more permissive, for example: - `Function::read_le` accepts more inputs than `MAX_INPUTS`...

[Update] Fold in updates from `testnet3`

1

This PR merges in updates from the `testnet3` branch.

## 🐛 Bug Report ### Test Case ``` { "program": "import_external_from_network.aleo", "version": "0.0.0", "description": "", "license": "MIT", "dependencies": [ { "name": "credits.aleo", "location": "network" } ] } ``` ### Error...

https://developer.aleo.org/aleo/language#array

^