Brandon H. Gomes
Brandon H. Gomes
I have a need for a correct implementation of [improper priors for Turing-based Bayesian inference](https://github.com/TuringLang/Turing.jl/issues/812). By improper I mean that the distribution does not integrate to 1, and in some...
I would love documentation on how to build a `StaticGraph` from scratch. The constructor is quite intimidating.
This is a draft proposal for a generic hasher interface (#88) for this library. ## How this Works 1. Adds `PhfHasher` trait 2. Adds generic `PhfHasher` parameter to maps/sets 3....
Signed-off-by: Brandon H. Gomes --- Before we can merge this PR, please make sure that all the following items have been checked off: - [ ] Linked to an issue...
Builds a Plonky2 plugin that supports the `poseidon` gadget from `openzl_crypto`. - [x] Compiler - [x] Field - [x] Boolean - [x] `ProofSystem` impl - [x] `poseidon` backend --- Before...
Signed-off-by: Brandon H. Gomes Upgrade to arkworks v0.4.0 including new curves and new APIs. --- Before we can merge this PR, please make sure that all the following items have...
Upgrades `component` macro to include simple declarations of _component groups_ and _component implementations_. --- Before we can merge this PR, please make sure that all the following items have been...
Implement BitDecomposition for more important structs, e.g., Scalar, Group and GroupVar in https://github.com/Manta-Network/manta-rs/blob/main/manta-crypto/src/arkworks/algebra.rs. Will do this one once Todd merges his PR with several of the necessary migrations. _Mentioned in...
## Things to Consider - We might be able to get rid of `BaseContribution` since `Partial` might have this information - `ForkedTree` contains enough information that we probably don't need...
On this (and all the other `insert` functions in OpenZL): we should document how `insert` behaves (or should behave if it's a trait) in each case. What happens when we...