Daniil Baturin on Nostr: LisPi I'm not sure what is your concern. If it's a possible backdoor in the bytecode ...
LisPi (nprofile…2mzm) I'm not sure what is your concern.
If it's a possible backdoor in the bytecode binary of the OCaml compiler included in a signed release archive together with the source code, then you can compile that binary on a system that has a working OCaml compiler and transfer it to the target system.
If it's that it's not bootstrappable without at least some working OCaml compiler — then I'm not sure if any compiler truly is.
Although one can always, theoretically, hand-code a compiler in assembly.
If it's a possible backdoor in the bytecode binary of the OCaml compiler included in a signed release archive together with the source code, then you can compile that binary on a system that has a working OCaml compiler and transfer it to the target system.
If it's that it's not bootstrappable without at least some working OCaml compiler — then I'm not sure if any compiler truly is.
Although one can always, theoretically, hand-code a compiler in assembly.