chore: move containers to SONIC. Add info about it to README

AluVM · Nov 20, 2024 · 73a30f4 · 73a30f4
1 parent d0be9c4
commit 73a30f4
Show file tree

Hide file tree

Showing 5 changed files with 1 addition and 216 deletions.
diff --git a/README.md b/README.md
@@ -61,6 +61,7 @@ SONARE is a part of a larger ecosystem used to build safe distributed software,
   uses a zk-STARK-compatible subset of its instruction set architecture (called zk-AluVM);
 - [UltraSONIC]: a transactional execution layer with capability-based memory access on top of
   zk-AluVM;
+- [SONIC]: toolchain for building SONIC contracts;
 - [Cation]: a general-purpose high-level programming language made with category theory, which
   features strict types, termination analysis and can be formally verified;
 - [Contractum]: a domain-specific version of Cation for writing programs for SONARE.

diff --git a/src/containers/contract.rs b/src/containers/contract.rs
diff --git a/src/containers/kit.rs b/src/containers/kit.rs
diff --git a/src/containers/mod.rs b/src/containers/mod.rs
diff --git a/src/containers/transfer.rs b/src/containers/transfer.rs