Veridise
Popular repositories Loading
-
Picus
Picus PublicForked from chyanju/Picus
Automated verification of uniqueness property for ZKP circuits
-
Medjai
Medjai PublicForked from chyanju/__archived__Medjai
A Symbolic Execution Tool for Cairo
Racket 52
-
zk-language-comparison
zk-language-comparison PublicExamples of Mastermind implemented in different ZK languages and frameworks.
-
Repositories
- zksync-airbender-picus-extraction Public Forked from matter-labs/zksync-airbender
RISC-V prover system for ZKsync OS
Veridise/zksync-airbender-picus-extraction’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 - 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 - 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
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…