Skip to content

Commit 66a3537

Browse files
marijanpmarijanp
authored
Merge pull request #98 from cspr-rad/risc0-circuit-avi
Risc0 circuit
2 parents 5b660df + edd50b9 commit 66a3537

35 files changed

+3943
-938
lines changed

‎.env

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
KAIROS_SERVER_SOCKET_ADDR="127.0.0.1:7893"
2+
KAIROS_PROVER_SERVER_SOCKET_ADDR="127.0.0.1:7894"

0 commit comments

Comments
 (0)