Veridise
Hardening Blockchain Security with Formal Methods
Pinned Loading
Repositories
Showing 10 of 55 repositories
- stellar-auth-macro Public
A proc macro that enforces authorization for all public functions in a Stellar contract
Veridise/stellar-auth-macro’s past year of commit activity - DSS2025-AuditHub-ZK-Workshop Public
Veridise/DSS2025-AuditHub-ZK-Workshop’s past year of commit activity - DSS2025-AuditHub-Solidity-Workshop Public
Project used to demonstrate AuditHub on Solidity projects, accompanying the DeFi Security Summit 2025 workshop "Streamlining Security Audits with AuditHub"
Veridise/DSS2025-AuditHub-Solidity-Workshop’s past year of commit activity - Ziren Public Forked from ProjectZKM/Ziren
Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.
Veridise/Ziren’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…