test: ensure that circom-qap params verify

gakonst / dark-forest

[WIP] Rust implementation of the Dark Forest game client

63 stars 4 forks source link

Closed gakonst closed 3 years ago

gakonst commented 3 years ago

This fails - probably means we also need to adjust the instance_map_with_evaluations code to generate params a la snarkjs.

kobigurk commented 3 years ago

Worse - we need to modify the h query to be the odd elements from a domain twice as large, which is not generalized yet