Nix defines unstable toolchain for building prover: https://github.com/cspr-rad/kairos/blob/622533b2eb8ec0bcd3d6d27742990a112099a65f/kairos-prover/default.nix#L5 I would like to investigate why (or rather if) we need nigthly toolchain here.
Nix defines unstable toolchain for building prover:
kairos/kairos-prover/default.nix
Line 5 in 622533b
I would like to investigate why (or rather if) we need nigthly toolchain here.