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 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.