-
David Bühler authored
Do not add a unique id into the origin datatype, as this interacts badly with hashconsing. Instead, binds each origin to a unique id in the global table used to record garbled mix history.
David Bühler authoredDo not add a unique id into the origin datatype, as this interacts badly with hashconsing. Instead, binds each origin to a unique id in the global table used to record garbled mix history.
