lambdaworks

lambdaworks copied to clipboard

Polynomial commitment scheme based on IPA

1

IPA stands for "Inner product argument". [Bullelproofs](https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8418611) is an example of an IPA. This [paper](https://eprint.iacr.org/2019/1021.pdf) explains how to build a Polynomial commitment scheme using an IPA (see Section 3). Also...

MauroToscano

perf: add batch proving and verification for Merkle trees

2

diegokingston

Implement sparse polynomial representation. We should support operations between sparse and dense polynomials, and conversions between them. The first task is to be investigate how it's done in other libraries,...

diegokingston

Fede here. We have to create vulkan gpu

azteca1998

Add something like this to the main readme: https://github.com/mratsim/constantine/blob/master/docs/optimizations.md

unbalancedparentheses

https://github.com/mratsim/constantine/blob/master/docs/optimizations.md#pairings

unbalancedparentheses

This includes reacting to flags inside the `Formatter` struct received by `Display` and `Debug`, and also implementing other formatting traits like [`LowerHex`](https://doc.rust-lang.org/std/fmt/trait.LowerHex.html).

MegaRedHand

`build`function in `Crypto`utils for `MerkleTrees`input shouldn't need dummy initialized values Currenlty it's required to put some values for the leaves that are overwritten, which leads to do some extra work...

MauroToscano

diegokingston

PR #367 adds some shaders used for tests only. These should be included only when compiling for tests. We could solve this by splitting the shaders into two: release and...

MegaRedHand