search

cspr-rad / kairos

Apache License 2.0
2 stars 0 forks source link

Risc0 circuit nix refactor #103

Closed marijanp closed 2 months ago

marijanp commented 3 months ago

Makes Avi's circuit build with nix