POTLOCK
PARTNERS
Veridise
Formal verification for blockchain security
About Veridise
Veridise is a security firm specializing in formal verification and audits for blockchain protocols. They use advanced mathematical methods to prove smart contract correctness.
Relationship with POTLOCK
Veridise conducted the security audit for GrantPicks, POTLOCK's Stellar-based funding mechanism, over 8 person-weeks with 2 security analysts.
