Sam Ragsdale

Can you confirm that your wallet is connected to the hardhat testnet?

Let me know if PR #10946 is what you're looking for. Happy to update.

Should be resolved.

Could you try the new demo instructions? Should simplify the process quite a bit. https://github.com/a16z/zkdocs#local-demo I believe this error could only occur due to connecting to the wrong network or...

Probably worth benchmarking at a lower level (skipping network) in addition to the integration benches. I would suggest a bench of a receipt proof + storage proof. Not a blocker...

For reference

Looks like 50% of the largest layer's Eq evals is `unsafe_alloc_zero_vec` so probably not worth doing. Maybe worthwhile for Spartan's sumchecks.

First step here: #328

After fixing lets add an assert to the batched hyrax opening proof to avoid in the future.

Great work. For the traits, let's rebase this on top of #309 after #318 is merged in. We should be able to make Icicle a new backend for Hyrax exclusively...