Starkom

Starkom is a quantum-resistant, recursive zkSTARK engine and the cryptographic backbone of Libernet.

Architecture

Starkom uses PLONKish arithmetization on top of a DEEP-FRI polynomial commitment scheme. It supports arbitrary columns, arbitrarily shaped gates, arbitrary gate constraints, and even overlapping gates.

Starkom runs on an ad hoc 256-bit finite field called BlueSky, whose order is the prime 0x7ffffffffffffffffffffffffffffffe0673ddf29e9b5547c000000000000001. The field has been designed with both 2-adicity and 3-adicity, allowing for both binary and ternary NTTs and FRI folding. The ternary protocol is optimal for recursion since it minimizes hash traces, and for certain circuit sizes can be much faster for both the prover and the verifier.

Starkom is primarily written in Rust and is highly modular. Its EVM verifier is written in Solidity and JavaScript bindings are being developed.

Modules

Starkom is available as a set of Rust crates:

• Finite field infrastructure: starkom-ff
• BlueSky field: starkom-bluesky
• Poseidon 1: starkom-poseidon
• Poseidon 2: starkom-poseidon2
• Algorithms on polynomials (NTT, Lagrange interpolation, etc.): starkom-poly
• DEEP-FRI: starkom-pcs
• PLONKish arithmetization: starkom-plonk
• Reusable chips: starkom-gadgets

Get involved

Starkom is under active development by the Libernet team. All the code lives on GitHub.