Merge remote-tracking branch 'origin/main' into ratan/rm-dalek-lock

succinctlabs · Mar 5, 2024 · 5c24fca · 5c24fca
2 parents 693e85c + 27b5a92
commit 5c24fca
Show file tree

Hide file tree

Showing 2 changed files with 1,884 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -33,3 +33,7 @@ cargo test --release
 ## Integrating into a Plonky2 circuit
 
 StarkyX starks can be integrated into a [Plonky2](https://github.com/mir-protocol/plonky2) circuit
+
+## Audit
+
+StarkyX has been audited by [KALOS](https://kalos.xyz). The audit report can be found [here](https://hackmd.io/qS36EcIASx6Gt_2uNwlK4A). This repo was formerly named Curta, in the audit report it is referenced as Curta.