Skip to content

Linear homomorphism for folding multilinear evaluation claims #7

Open
Open
Linear homomorphism for folding multilinear evaluation claims#7
Labels
soundness/threat-model

Description

@nicarq
nicarq
opened on Aug 17, 2025

Support Mz linear transforms in sum-check batching (see §3.3)

Note: we have this partially implemented: Tables in ccs_sumcheck_prover.

Metadata

Metadata

Assignees

No one assigned

    Labels

    soundness/threat-model

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions