diff --git a/src/witnesscalc.cpp b/src/witnesscalc.cpp index 1509412..70a212c 100644 --- a/src/witnesscalc.cpp +++ b/src/witnesscalc.cpp @@ -22,7 +22,6 @@ Circom_Circuit* loadCircuit(const void *buffer, unsigned long buffer_size) { circuit->InputHashMap = new HashSignalInfo[get_size_of_input_hashmap()]; uint dsize = get_size_of_input_hashmap()*sizeof(HashSignalInfo); if (buffer_size < dsize) { - //Add this code snippet to prevent potential memory errors. throw std::runtime_error("Invalid circuit file: buffer_size <= dsize"); } memcpy((void *)(circuit->InputHashMap), (void *)bdata, dsize); @@ -31,7 +30,6 @@ Circom_Circuit* loadCircuit(const void *buffer, unsigned long buffer_size) { uint inisize = dsize; dsize = get_size_of_witness()*sizeof(u64); if (buffer_size < dsize + inisize) { - //Add this code snippet to prevent potential memory errors. throw std::runtime_error("Invalid circuit file: buffer_size <= dsize + inisize"); } memcpy((void *)(circuit->witness2SignalList), (void *)(bdata+inisize), dsize); @@ -41,7 +39,6 @@ Circom_Circuit* loadCircuit(const void *buffer, unsigned long buffer_size) { inisize += dsize; dsize = get_size_of_constants()*sizeof(FrElement); if (buffer_size < dsize + inisize) { - //Add this code snippet to prevent potential memory errors. throw std::runtime_error("Invalid circuit file: buffer_size <= dsize + inisize"); } memcpy((void *)(circuit->circuitConstants), (void *)(bdata+inisize), dsize); @@ -53,7 +50,6 @@ Circom_Circuit* loadCircuit(const void *buffer, unsigned long buffer_size) { inisize += dsize; dsize = get_size_of_io_map()*sizeof(u32); if (buffer_size < dsize + inisize) { - //Add this code snippet to prevent potential memory errors. throw std::runtime_error("Invalid circuit file: buffer_size <= dsize + inisize"); } memcpy((void *)index, (void *)(bdata+inisize), dsize); @@ -62,7 +58,6 @@ Circom_Circuit* loadCircuit(const void *buffer, unsigned long buffer_size) { throw std::runtime_error("Invalid circuit file: wrong inisize"); } if (buffer_size <= inisize) { - //Add this code snippet to prevent potential memory errors. throw std::runtime_error("Invalid circuit file: buffer_size <= inisize"); } u32 dataiomap[(buffer_size-inisize)/sizeof(u32)];