Releases: AluVM/sonic
Releases · AluVM/sonic
SONIC v0.12.0
2d311c0
This commit was signed with the committer’s verified signature.
dr-orlovsky
Dr. Maxim Orlovsky
Initial release of SONIC polynomial computer for zk-STARKs
The first version of SONIC is released! As a key toolchain in the SONIC “polynomial computer” implementation, this repository provides crates empowers developers to build partially-replicated state machines with advanced verification capabilities.
Key Features:
- Partially-Replicated State Machines: Tools for creating state machines that replicate data selectively, optimizing for efficiency in distributed networks while maintaining capability-based access controls.
- zk-VM: Seamlessly integrates with Ultrasonic to form a complete zk-VM, supporting Turing-complete operations in zero-knowledge environments.
- STARK prover readiness: Execution traces can be proven cryptographically using zk-STARKs, ensuring trustless verification for decentralized applications.
- Semantics and Codex System: Includes robust support for defining contracts, APIs, and type systems through a flexible codex, making it easier to build complex, verifiable protocols.
This inaugural release advances SONIC’s vision of a universal architecture for distributed systems with built-in zk support. Dive into the docs at docs.rs/hypersonic or explore the source at github.com/example/hypersonic.