Back to Projects
OrCa
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Vestibulum luctus felis in nisi tincidunt, vitae facilisis enim tempor.
Category: Developer Tooling
Description
OrCa is a Veridise fuzzer for Ethereum/EVM smart contracts that uses developer-defined temporal properties, written in Veridise’s V specification language, to guide fuzzing. It analyzes contract behavior and reports concrete inputs and execution traces for safety-property violations. It supports multi-contract fuzzing, Foundry-compatible workflows, invariant validation, regression testing, and protocol behavior exploration; it is available to Veridise audit clients through AuditHub.Technology & Skills
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