search

yetanotherco / aligned_layer

Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
https://alignedlayer.com/
MIT License
140 stars 336 forks source link

Update risc0 version or find a way to pin the previous one #1125

Open MauroToscano opened 3 days ago

PatStiles commented 2 days ago

risc0 says version control for its toolchain is a known issue: https://discord.com/channels/953703904086994974/1290498126049841232

After further investigation we found we can work around issues with installing a past toolchain by having users generate proof using the risc0-zkvm with the prove feature enabled ref: https://github.com/yetanotherco/aligned_layer/blob/testnet/examples/validating-public-input/risc_zero/fibonacci_proof_generator/host/Cargo.toml#L9. If they have issues installing a past version of cargo-risczero via rzup we can refer them to the discord channel above.