Add deserialize trait bound

darth-cy · darth-cy · commit eec2c75220b9 · 2024-11-20T15:14:11.000-05:00
diff --git a/spartan_parallel/examples/interface.rs b/spartan_parallel/examples/interface.rs
@@ -186,7 +186,7 @@ struct RunTimeKnowledge<S: SpartanExtensionField> {
   output_exec_num: usize
 }
 
-impl<S: SpartanExtensionField> RunTimeKnowledge<S> {
+impl<S: SpartanExtensionField + for<'de> serde::de::Deserialize<'de>> RunTimeKnowledge<S> {
   fn deserialize_from_file(benchmark_name: String) -> RunTimeKnowledge<S> {
     let file_name = format!("../zok_tests/inputs/{}_bin.rtk", benchmark_name);
     let mut f = File::open(file_name).unwrap();

Original file line number	Diff line number	Diff line change
`@@ -186,7 +186,7 @@ struct RunTimeKnowledge<S: SpartanExtensionField> {`
`186`	`186`	`output_exec_num: usize`
`187`	`187`	`}`
`188`	`188`
`189`		`-impl<S: SpartanExtensionField> RunTimeKnowledge<S> {`
	`189`	`+impl<S: SpartanExtensionField + for<'de> serde::de::Deserialize<'de>> RunTimeKnowledge<S> {`
`190`	`190`	`fn deserialize_from_file(benchmark_name: String) -> RunTimeKnowledge<S> {`
`191`	`191`	`let file_name = format!("../zok_tests/inputs/{}_bin.rtk", benchmark_name);`
`192`	`192`	`let mut f = File::open(file_name).unwrap();`