Closed bencrts closed 2 weeks ago
@bencrts we have a PR coming with updated parameters https://github.com/zama-ai/tfhe-rs/pull/1233 for the boolean failure
thanks, no worries, I'm just going to point the estimator back to main and then we can merge this whenever you're ready!
PR has been merged, don't hesitate to ping @soonum when you need to get ready to merge !
@soonum this can be closed given the PR you merged right ?
WIP: will request a review when ready
Updating the parameter scripts in the CI