Veridise
Hardening Blockchain Security with Formal Methods
Pinned Loading
Repositories
Showing 10 of 50 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 - sha3-circuit-midnight Public Forked from alexandroszacharakis8/sha3-circuit
Lookup based midnight-proofs (halo2 fork) implementation of keccak-f[1600] permutation and gadgets for the sha3-256 and keccak-256 hash functions.
Veridise/sha3-circuit-midnight’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…