4 Cairo roles2 companiesupdated 06/17
4 matching roles
Cairo is the language behind Starknet and a growing share of zero-knowledge applications. Cairo auditing is a specialized, in-demand skill: the proof-system semantics and the Starknet account model create vulnerability classes that EVM experience does not cover. On-site-only and stale listings are removed.
Cairo targets a STARK-provable VM, so auditors reason about felt arithmetic, hints, and the Starknet account-abstraction model rather than EVM opcodes and reentrancy.
It is a smaller field with fewer qualified auditors, which can make experienced Cairo reviewers competitive for Starknet-ecosystem roles.
Cairo 1, the Starknet account model, common ZK and arithmetic-circuit pitfalls, and a few public reviews of Starknet contracts.
Fewer than Solidity or Rust, but Starknet-ecosystem teams and audit firms hire for them. This list updates as new roles appear.
Roles are included when the listing points to smart contract auditing, protocol security, blockchain security research, formal verification, fuzzing, cryptography, or product security at a Web3 protocol or audit firm.
Generic IT, sales, compliance, support, SOC, and data-center security roles are filtered out. Direct company listings are preferred over job-board mirrors when the same role appears in several places.