Skip to content

Add audit reports to readme #141

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.

Sign up for GitHub

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

Jump to bottom
Merged
daveroga merged 1 commit into from
Jul 10, 2025
Merged

Add audit reports to readme #141

daveroga merged 1 commit into from
Jul 10, 2025

Conversation

@daveroga
Copy link
Contributor

@daveroga daveroga commented Jul 10, 2025 •
edited
Loading

Add circuit audit report from Trail of Bits

Copilot AI reviewed Jul 10, 2025
View reviewed changes
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

Adds a new “Security Audits” section to the README linking to an external audit report.

  • Introduces a “## Security Audits” header
  • Includes a Trail of Bits audit report link with date and PDF reference

@daveroga daveroga force-pushed the add-circuits-audit-readme branch from 1862221 to cf7a5e1 Compare July 10, 2025 16:00
@daveroga daveroga merged commit a4e9bae into master Jul 10, 2025
3 checks passed
@daveroga daveroga deleted the add-circuits-audit-readme branch July 10, 2025 17:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

Copilot code review Copilot Copilot left review comments

@OBrezhniev OBrezhniev OBrezhniev approved these changes

@volodymyr-basiuk volodymyr-basiuk Awaiting requested review from volodymyr-basiuk

@vmidyllic vmidyllic Awaiting requested review from vmidyllic

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@daveroga @OBrezhniev