Earlier quoted context omitted.
> So even a humble AND gate program will need to copy its inputs to the output if it's to be reversible. It's been 20 years since I had to think closely about reversible computing, and I've forgotten lots of the details. When I said "implement a hash function", I actually meant "implement exclusive-or with the result of the hash function" or something similar. > As well, cryptographic hash functions are generally not…
> It's been 20 years since I had to think closely about reversible computing, and I've forgotten lots of the details. When I said "implement a hash function", I actually meant "implement exclusive-or with the result of the hash function" or something similar. Well that gets a bit more interesting. If the hash is of a key K, and the hash output is exclusive-or'd with input M, then of course it's reversible with respec…
Re: Nilang.jl – A Reversible Julia DSL
#31Thanks