Ecosystem Vision Logo
Picus logo

Picus

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.
Category: Developer Tooling

Description

Picus is a ZK security tool developed by Veridise that combines static analysis and solver-based reasoning to identify under-constrained circuits and generate concrete counterexamples. It can also formally verify circuits against under-constrained behavior, supports Circom and other DSLs, and integrates with AuditHub and CI/CD workflows.

Technology & Skills

Uncover the hard and soft skills and tools employed by the organization, and gain insight into the technologies that drive their success
PICUS
MARKETING
ZERO-KNOWLEDGE
CRYPTOGRAPHY
C#
VERIFICATION
BUSINESS DEVELOPMENT
AUDITING
THEOREM PROVER
ZK VANGUARD
ZK FRAMEWORK
RESUME
SMT SOLVER
RUST
PROGRAMMING LANGUAGES
LLZK
SOFTWARE ENGINEERING
NOIR
LEAN
ZK CIRCUIT
RESEARCH
SECURITY ANALYST
SOFTWARE ENGINEER
MODEL CHECKING
AUTOMATED VERIFICATION
FORMAL METHODS
FORMAL VERIFICATION