Starkom is an advanced, quantum-resistant, natively recursive zkSTARK engine, and the cryptographic backbone of Libernet.
Starkom uses PLONKish arithmetization on top of a DEEP-FRI polynomial commitment scheme.
Starkom is primarily written in Rust and is highly modular. Its EVM verifier is written in Solidity and JavaScript bindings are being developed.
Starkom is under active development by the Libernet team. All the code lives on GitHub.