otic — archived

This repository is archived. It is preserved for historical reference only.

otic was the compiler for Otigen, a domain-specific smart-contract language designed for Pyde. After honest evaluation of the maturity of the WebAssembly ecosystem, the sandbox properties wasmtime provides, the ZK-readiness trajectory of zk-WASM research, and direct benchmark parity between custom-VM-AOT and wasmtime-AOT (both built on Cranelift), Pyde's execution layer pivoted to WebAssembly. Authors can now write contracts in Rust, AssemblyScript, Go, or C — whatever they already know.

The Otigen name lives on as Pyde's developer toolchain (the binary that scaffolds projects, generates state bindings, builds WASM artifacts, and deploys them) — see pyde-net/otigen.

The Otigen language is retired. The full story of the pivot is in pyde-book/src/preface/pivot.md.

The content below is kept as a snapshot of an earlier design phase.

---

Original README

otic compiles Otigen (.oti) smart-contract source into Pyde Virtual Machine bytecode plus a JSON ABI artifact.

Otigen was a domain-specific language for verifiable on-chain execution. Surface syntax borrowed from Rust; the semantics were tuned for the smart-contract problem — reentrancy guards on by default, checked arithmetic, typed storage, no tx.origin, compile-time access-list inference for the runtime's parallel scheduler.

The language reference and compiler internals live in the otigen-book repository, preserved as a historical artifact documenting an earlier design phase.

For current Pyde development, use the new otigen toolchain at pyde-net/otigen.