Brandon H. Gomes
Brandon H. Gomes
These are most likely correct: `|gamma_abc_g1| = public inputs` `|l_query| = witnesses` `|a_query| = |l_query| + |gamma_abc_g1|` `|h_query| = #const - 1` but need to double-check them.
- [ ] Add arkworks GLV implementation from https://github.com/Manta-Network/zprize-wasm-msm/tree/feat/add-glv-optimization - [ ] Move python code into a `sage` file
The following crate header should be part of every library and binary: ```rust #![cfg_attr(not(any(feature = "std", test)), no_std)] #![cfg_attr(doc_cfg, feature(doc_cfg))] #![forbid(rustdoc::broken_intra_doc_links)] #![forbid(missing_docs)] ``` We need to find a way to...
https://github.com/iden3/wasmsnark/blob/master/src/bls12381/build_bls12381.js
Right now `cocoon-0.3.1` does not compile, so we do a patch for local changes. We should resolve the issue upstream.
We should use the canonical `created_time` returned by https://api.github.com/repos/manta-network/manta-rs/releases
Right now variable allocation requires both known and unknown modes of allocation but in some compilers this may not make sense (like a formal verification compiler where you just want...
In the new circuits, we have the owner of the signing key and the proof authorization key as the same entity, but in general, they should be different (allows hardware...