Mauro Toscano

Results 42 issues of Mauro Toscano

## 💥 Proposal **aleo-std** crate is used for profiling in **snarkvm-console-algorithms** . This crate and its invocations should be enabled as an additional feature. The uses of timer and lap...

## 💥 Proposal aleo-std crate is used for profiling in snarkvm-console-collections . This crate and its invocations should be enabled with an independent feature. **src/merkle_tree/mod.rs** is the only file on...

## 💥 Proposal **algorithms/src/lib.rs** always uses `aleo_std`, but it's only needed when CUDA's feature is enabled Conditional compiling can be used to avoid compiling aleo-std here when it's not needed,...

## 💥 Proposal aleo-std crate is used for profiling in snarkvm-fields. This crate and its invocations should be enabled with an independent feature. fields/src/traits/poseidon_default.rs is the only file on snarkvm-fields...

It seems that some of the hints that the bootloaders use are missing For example: https://github.com/starkware-libs/cairo-lang/blob/27a157d761ae49b242026bcbe5fca6e60c1e98bd/src/starkware/cairo/bootloaders/simple_bootloader/simple_bootloader.cairo#L19-L22

I wanted to check how Starknet is using the new data blobs but the book says is not yet there, but I think it is, right ? This documentation could...

AIR design has been extended and simplified over these PRs: #834 #697 But the changes are coupled with a change on how Cairo is proven. We need to bring only...

collaborator-friendly

# TITLE ## Description Description of the pull request changes and motivation. ## Type of change Please delete options that are not relevant. - [ ] New feature - [...

CUDA - Icicle overhaul - [ ] Remove Lambdaworks CUDA implementation - [ ] Change icicle implementation to work by enabling the feature, instead of needing a direct call, where...

Short Weierstrass is the most used EC form of our library. Lambdaworks should support jacobian coordinates that are faster - [ ] Add JacobianPoint in short weierstrass point.rs .Implement the...