Mauro Toscano

`to_affine()` should return a result instead of panicking when z is 0

1

`to_affine()` should return a result instead of panicking when z is 0

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

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

Implement the `rand` traits for `ProjectivePoint` where `E: IsEllipticCurve`.

Hello, I wanted to try the example of the Bootloader. But I get a ```KeyError: hashedSupportedCairoVerifiers``` on line 89 of the bootloader when trying to run it. Is there any...

I'm trying to replicate the submission of the proof to the Stark verifier. Is there a way to generate my own proofs for the Cairo Verifier as it was done...

I'm trying to verify Sandstorm proofs with Stone prover to validate that they are compatible. For the same program and layout they seem to be quite different in size, and...

Required tools for secure for secure cryptography

4

Some functions should be constant time for cryptography to hold. This is the minimal amount of work we would need to have some some secure cryptrography: - [ ] Add...