We are a blockchain development company specializing on security. We also offer smart contract audit services (formal verification), blockchain security consulting and are developing an AI-based formal verification. Our developers team consists almost entirely of orthodox women.