For now we pass curve type to the assigner using -e flag and then pass curve type to the proof producer using -e flag. So everything works like there are 2 "degrees of freedom". But in fact different curve types in assigner and proof-producer will just cause invalid proof creation. Proof-producer must use exactly the curve type that was used in the assignment table creation. The need to set the type manually leads to mistakes only. My proposal is to somehow write native curve type into assignment table and read it from proof-producer
For now we pass curve type to the assigner using -e flag and then pass curve type to the proof producer using -e flag. So everything works like there are 2 "degrees of freedom". But in fact different curve types in assigner and proof-producer will just cause invalid proof creation. Proof-producer must use exactly the curve type that was used in the assignment table creation. The need to set the type manually leads to mistakes only. My proposal is to somehow write native curve type into assignment table and read it from proof-producer