Brandon H. Gomes

Results 155 issues of Brandon H. Gomes

Can we use https://crates.io/crates/cargo-next for automated checking of release PRs?

P-low
A-ci

Right now we run a barrage of simulations and a lot of them fail because they run too long. We want to run shorter simulations and/or allow them to exit...

P-low
A-ci

After discussions with @stechu, we want to try and transition the `manta-crypto` tools to its own governing organization as a standalone public-good product (of the likes of `arkworks` and `zk-garage`)....

P-medium
A-openzl
C-tracking-issue
A-openzl-backend

In the simulation, we only check the correctness of the state at the end of the simulation after all actors have expired. We should have periodic (random?) checking where the...

P-medium
A-testing

Right now the simulation in the CI either runs so long that it expires. Let's find a medium simulation target, at least one with a small number of actors and...

P-medium
A-ci
A-simulation

For a lot of the arkworks types in `manta-pay`, the default `derive` implementations have the wrong semantics with respect to generic parameters. Like this: ```rust #[derive(Clone)] struct ArkworksType where T:...

P-low
C-bug

Right now we have a less-than-ideal interface for HTTP clients where we assume that all communication should use the POST command so that we have access to the body of...

P-low
C-enhancement
A-network

We should explore the [Nova Proof System](https://github.com/microsoft/Nova) as an option for a backend. How to integrate this experimental code into the `manta-pay` module: 1. Add an optional `nova` dependency to...

C-experiment
P-low
A-openzl
A-openzl-backend

Right now the mnemonic library we use is restricted to 24 words. We should support at least 12-word mnemonics too. There are a few libraries that exist in the Rust...

P-low
C-enhancement
A-cryptography