DmytroTym

Removing some FFTs from the Marlin prover

2

## 💥 Proposal I think there are some FFTs in the Marlin prover that can be removed (almost) for free. Namely: - In the sumcheck inside the third round of...

Question about quadratic extension in Goldilocks

1

## Question Hi. I was wondering about the choice of non-residue in your quadratic extension of Goldilocks - [it's currently 11](https://github.com/risc0/risc0/blob/main/risc0/core/src/field/goldilocks.rs#L332). Although there's a smaller non-residue available - 7, and...

## Description Currently we don't have the functionality to open committed polynomials at arbitrary points. ## Motivation In Danksharding, KZG openings are performed at specific carefully chosen points, which makes...

[FEAT]: support Aleo's version of Marlin

6

## Description Aleo created their version of Marlin called [Varuna](https://drive.google.com/file/d/1W9vsn5xT1vUmJbzO8VXoNS4W1wGWLDHN/view) which is (as far as I understand) what is ran when https://github.com/AleoHQ/snarkVM/blob/testnet3/synthesizer/src/vm/execute.rs#L26 is executed. Because the time outside witness generation...

New Danksharding flow

1

Danksharding flow based on the new ICICLE API and minor algorithmic improvements