ZIR-233: Add end-to-end keccak test for using keccak accelerator in the guest

risc0 / zirgen

Zirgen compiler and RISC Zero circuits

Apache License 2.0

62 stars 7 forks source link

Closed shkoo closed 2 weeks ago

shkoo commented 2 weeks ago

Add control IDs and control roots for keccak (we may want to move to a single control root for the lift predicates)
Update dependency on risc0 repo

Still todo:

flaub commented 2 weeks ago

Superseded by #76