After #42 we should add another type in the R1CS feature that represents the encoding of a decaf377 Element in circuit. This type will be called EncodingVar.
Internally, EncodingVar will hold a LazyElementVar created using LazyElementVar::new_from_encoding.
EncodingVar should be public, and used anywhere in the ElementVar API where the encoding is returned or taken as an argument, i.e. compression/decompression.
redshiftzero
commented
3 months ago
After #42 we should add another type in the R1CS feature that represents the encoding of a decaf377 Element in circuit. This type will be called
EncodingVar.Internally,
EncodingVarwill hold aLazyElementVarcreated usingLazyElementVar::new_from_encoding.EncodingVarshould be public, and used anywhere in theElementVarAPI where the encoding is returned or taken as an argument, i.e. compression/decompression.