search

facebook / winterfell

A STARK prover and verifier for arbitrary computations
MIT License
795 stars 180 forks source link

Make a `DomainLength` trait for `VectorCommitment::Proof` and `VectorCommitment::MultiProof` #290

Open Al-Kindi-0 opened 4 months ago

Al-Kindi-0 commented 4 months ago

Investigate creating a DomainLength trait which could look something like this:

pub trait DomainLength {
    fn domain_length(&self) -> usize;
}

And then require the both Proof and MultiProof associated types implement this trait.

_Originally posted by @irakliyk in https://github.com/facebook/winterfell/pull/285#discussion_r1661914824_