powdr supports the eSTARK proof system with the Goldilocks field, implemented by the starky library from eigen-zkvm.