From channel codes to computation codes
Résumé
In this paper, it is shown that a computation code exists for a stationary and d-continuous noisy computation if a channel code exists for the "virtual" channel linking the expected result of the perfect computation and the actual result given by the noisy computation. This proves the possibility to built an efficient computation code from an efficient channel code.