marlin

marlin copied to clipboard

## 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...

vlopes11

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 -...

vlopes11

∂ ## 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`

vlopes11

## Summary My notes on how to implement Marlin + Plookup: https://hackmd.io/@gPH8I-Z5RcSMH2KTXLDeDg/BJcMTU9wO @Pratyush you may still recognize this. I don't think I'll have time to work on this; I'll let...

jon-chuang

Add simple example of using the `timer` API

4

when running the following command for profiling ``` cargo build --features timer ``` The error appears: ``` Package `marlin v0.1.0 (/home/zy/Desktop/github/marlin)` does not have these features: `timer` ``` How to...

SilverPoker

`to_matrices` is called before `inline_all_lcs`

2

The current `master` branch may fail to index a circuit because the `index` function would call: ``` let matrices = cs.to_matrices().unwrap(); ``` in `make_matrices_square_for_indexer`, before calling `inline_all_lcs`. As a result,...

weikengchen

Commit-and-Prove Marlin

5

This issue is just to remark a useful variant of Marlin with the property of commit-and-prove. Basically, the verifier does not know the input but instead obtains a commitment of...

weikengchen

Underflow panic

3

## Summary of Bug While adding Marlin as a backend for ZoKrates, I'm hitting an underflow panic during the setup phase: 1. This works (1 public input: the return value):...

Schaeff

Constraints

8

npwardberkeley

## Description Currently, the witness polynomial multiplication in the second round of the AHP requires performing an FFT with a domain of size 4 * |H|. This change distributes the...

ryanleh