The best way to get help with technical questions is on
StackOverflow using the [seal]
tag. To contact the Microsoft SEAL team directly, please email
[email protected].
We appreciate community efforts to find and fix bugs and issues in Microsoft SEAL. If you believe you have found a bug or want to report some other issue, please do so on GitHub. To help others determine what the problem may be, we provide a helpful script that collects relevant system information that you can submit with the bug report (see below).
To collect system information for an improved bug report, please run
make -C tools system_info
This will result in a file system_info.tar.gz to be generated, which you can
optionally attach with your bug report.
For reporting critical security issues, see SECURITY.md.