Crate starkom_pcs 

DEEP-FRI

Overview

This crate contains Starkom’s quantum-resistant polynomial commitment scheme, a DEEP-FRI implementation.

It currently works on the BlueSky field only.

Two different hash backends are provided: one based on SHA-256 for fast verification on the EVM and one based on Poseidon2 for efficient recursion.

The SHA-256 hash backend is compatible with our EVM verifier.

Modules

fri

hash

Structs

Commitment

A batched DEEP-FRI polynomial commitment (see Committer for details).

Committer

Collects batches of polynomials and allows building a DEEP-FRI prover for them.

Proof

A DEEP-FRI proof.

Prover

A DEEP-FRI prover.

Constants

LAMBDA

Target security level in bits.

Type Aliases

Polynomial

Re-exported type alias for polynomials over BlueSky. The current implementation only works on that field.