Skip to content
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

Include ZK Security reviews & tools #14

Merged
merged 3 commits into from
Sep 22, 2023
Merged

Include ZK Security reviews & tools #14

merged 3 commits into from
Sep 22, 2023

Conversation

nullity00
Copy link
Contributor

@nullity00 nullity00 commented Sep 20, 2023 •
edited
Loading

Describe your changes

The following resources have been included in the ZK Security Resources Section

  1. A repository which has Security Reviews of 25+ ZK Protocols
  2. Links to 4 tools related to static Analysis, formal verification & linting of ZK Circuits - Picus, Coda, Ecne, Korrekt
  3. Notion Doc containing resources n the ZKEVM Audit sessions by Scroll & Polygon

@kcharbo3

@kcharbo3
Copy link
Collaborator

Thanks for the additional resources! Merging

@kcharbo3 kcharbo3 merged commit c6b761c into 0xPARC:main Sep 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nullity00 @kcharbo3