[FEATURE] Spartan backend

[ineiti]

Problem Statement

We're using noir to implement a circuit to prove attributes in an e-id credential: https://github.com/eid-privacy/zkp-pocs/tree/main/noir

Contrary to the barretenberg UltraHonk proving backend, we care more about prover performance, and less about verifier performance.

Proposed Solution

We're looking into using spartan from https://github.com/microsoft/crescent-credentials to implement a new prover backend. One of the challenges is to convert the ACIR representation into R1CS.

We would like to know whether you have any insight into the expected performance gains in doing so, compared to UltraHonk.

In addition we would be interested in anybody else implementing other proving backends for noir to exchange ideas and questions.

Example Use Case

No response

Alternative Solutions

No response

Additional Context

No response

[Maddiaa0]

https://github.com/worldfnd/provekit

iirc world have the same performance considerations as you! I think they are using spartan + whir

[ineiti]

https://github.com/worldfnd/provekit

iirc world have the same performance considerations as you! I think they are using spartan + whir

Oh, great - one of the 1000s of projects I missed :)

They describe that they have a benchmark, but don't show the results - will have to search that next week...