Raymond Chu

Results 77 issues of Raymond Chu

It looks like our VM does not fetch the `credits.aleo` proving keys from the `resources` folder and simply resynthesizes them from scratch at time of use. This is completely safe,...

## Motivation This PR has two changes to address https://github.com/AleoHQ/snarkOS/issues/3171: 1. Reverted _proposal expiration_ introduced in https://github.com/AleoHQ/snarkOS/pull/3202. - This approach was unsafe because it violated the non-equivocation properties of our...

## Motivation This PR is an extension of https://github.com/AleoHQ/snarkOS/pull/3239 that addresses https://github.com/AleoHQ/snarkOS/issues/3171. This PR adds to the functionality of the `ProposalCache` by adding pending certificates (that have not yet been...

## Motivation This PR is mainly cleanup and updating inaccurate links. This PR updates the old references to AleoHQ/snarkOS with the new AleoNet/snarkOS. This also fixes the lockfile issue of...

## Motivation This PR adds CDN support for the different networks (`MainnetV0`, `TestnetV0`, and `CanaryV0`). Currently the CDN is only working for `Testnet Beta` because only the `Testnet Beta` blocks...

## Motivation This PR removes the deprecated REST endpoints. The `/{network}/latest/*` format will be replaced with the already existing `/{network}/*/latest` formatting. These deprecated routes were left in during the testnet...

## Motivation This PR updates and adds clarification to the `Record::is_owner` and `Record::is_owner_with_address_x_coordinate` functions. Closes https://github.com/AleoNet/snarkVM/issues/2132.

## Motivation This PR adds additional safety checks to Execution verification. Previously we weren't explicitly checking the number of transition inputs/outputs; we were passing through the inputs and outputs to...

## Motivation This PR updates the old references to `AleoHQ/snarkVM` with the new `AleoNet/snarkVM`. In addition, `homepage` and `repository` fields were added to the `Cargo.toml` files that were missing it...

## Motivation This PR adds a new `GET get_mapping_values` REST endpoint to read all the elements in a mapping. ``` GET //program/{programID}/mapping/{mappingName}?all={true}&metadata={true} ``` #### Example: `GET //program/credits.aleo/mapping/bonded?all=true&metadata=true` will return the...