-
Notifications
You must be signed in to change notification settings - Fork 143
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
conformance ProvenCompactCiphertextList #1602
Conversation
@@ -141,6 +146,74 @@ impl ProvenCompactCiphertextList { | |||
} | |||
} | |||
|
|||
pub struct ProvenCompactCiphertextListConformanceParams { | |||
pub sk_params: ClassicPBSParameters, | |||
pub elements_per_block: usize, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Could this be called elements_per_list/elements_per_vec/elements_per_sublist
, I think block
may be too confusing with integer blocks
let params: crate::shortint::ClassicPBSParameters = | ||
crate::shortint::parameters::PARAM_MESSAGE_2_CARRY_2_KS_PBS_TUNIFORM_2M64; | ||
let config = crate::ConfigBuilder::with_custom_parameters(params); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
need a test case with casting
if !proof.is_valid() { | ||
return false; | ||
} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this API name is confusing, so more "content_is_usable"
this has been merged as part of the release_pr_stack branch |
No description provided.