search

0xPolygonMiden / miden-vm

STARK-based virtual machine
MIT License
612 stars 150 forks source link

Feat: Integrate miden-gpu crate into prover #1310

Closed TheMenko closed 2 months ago

TheMenko commented 2 months ago

This PR removes ministark-gpu, and instead adds the new miden-gpu crate, that is based off of ministark-gpu. miden-gpu adds support for the RPX hash.

I've also changed the code in a way to be more generic over Hasher when using metal. The MetalRpoExecutionProver is now just MetalExecutionProver.

There are also some small changes to air and cli to go along with this change.

Note: This PR requires changes to the crypto crate. I opened the pull request that adds RpxRandomCoin.

TheMenko commented 2 months ago

Rebase done @bobbinth