search

cspr-rad / kairos

Apache License 2.0
2 stars 0 forks source link

Prover is built with unstable Rust #119

Open koxu1996 opened 2 months ago

koxu1996 commented 2 months ago

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.