Victor Lopes

The big integer is often a composition of `u64`, or some type that implements `From`. As example, we have the the provided implementations: https://github.com/arkworks-rs/algebra/blob/88178d8da99e18c4fcb63f6e24f2f5376a5038cf/ff/src/biginteger/macros.rs#L7-L9 Having a `fn from_limbs(limbs: [T; Self::NUM_LIMBS])...

## Description Introduce the ability to create a sponge from a rate argument. This should later upstream to ark-sponge; for now, we are avoiding breaking changes in 0.3 --- Before...

Fix and update dependencies to 0.3

2

## Description The branch `constraints` isn't building with latest dependencies. Open questions - [ ] We declare `DensePolynomial` concretely in some places, and expect the generic `PC::BatchProof` in others -...

∂ ## Summary of Bug The branch `constraints` isn't building with latest dependencies. ## Version (https://github.com/arkworks-rs/marlin/commit/903c741e038be240d1c80622a843c4b011965d75) ## Steps to Reproduce `$ cargo build`

## Summary Latest version is not building. We should target published crates instead of github branches so we can publish a new version for this crate ## Problem Definition Unpublished...

Refactor Composer into trait

1

A composer is a set of functionalities that can be extended into different implementators, such as debuggers or even PLONKup. This commit introduces the composer as trait, and targets to...

This name is duplicated with the base Proof. This is often misleading and we should consider a new name for this struct

**Describe what you want implemented** Every constraint appended to a composer must also push its `Constraint` instance to an internal vector of constraints. This will deprecate the multiple selectors that...

**Describe what you want implemented** The transaction outputs should be stored in the chain with their correct post-execution position index. **Describe "Why" this is needed** This is needed to increase...

**Describe what you want implemented** Need a function that will convert arbitrary slices of bytes into a `BlsScalar` **Describe "Why" this is needed** We are limited by scalars when actually...