Ecosystem Vision Logo

Horus

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

Description

Horus implements automated formal verification through SMT solving, enabling Cairo smart contract verification before deployment. The system translates specification annotations into mathematical assertions while maintaining compatibility with StarkNet development 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
OPEN SOURCE
MACHINE LEARNING
VULNERABILITY
SMART CONTRACT SECURITY
ZKDSL
PROTOCOL DESIGN
ORACLE
REENTRANCY
ZK SYSTEMS
SECURITY AUDITING
HALO2
PLONK
ZERO-KNOWLEDGE
CRYPTOGRAPHY
TRIAGE
BULLETPROOFS
PRODUCT REQUIREMENTS
ON-CHAIN DATA ANALYSIS
ACCESS CONTROL
PROTOCOLS
ZKROLLUP
ZKVM
MARKETPLACE
FOUNDRY
APPLIED CRYPTOGRAPHY
PROOF OF CONCEPT
WEB3
AZTEC
YELLOW PAPER
ETHEREUM
POC
PRIVACY
RUST
SLITHER
CAIRO
SECURITY TOOLING
BULLETPROOF
GROTH16
ROLLUPS
NOIR
PRICING
ON-CHAIN ANALYSIS
REVERSE ENGINEERING
EXPLOIT
VULNERABILITY DETECTION
MEV
CI/CD
SECURITY
SMART CONTRACT
DEBUGGING
GOVERNANCE MECHANISMS
CIRCOM
ROADMAP
AUDIT
METRICS
AGENT