Sunya

We just don't do the static analysis, we save projects from crashing into production bearing losses. Our team was able to build & train a model that detects the static vulnerabilities for Starknet Contracts and will be much smarter with more datasets.

Our analyzer is much smarter than that!

• It automatically assigns it's analyzing task into available core memory and once done, temporary storage are cleared.
• It automatically detects whether your project is configured for Starknet or EVM Compatible Chains.
• If required tools are not installed, you don't have to scratch your head for version errors, and package errors, it automatically does the job. Just plug and play.

Dashboard: Utilizing Voyager (Blockchain Data from Starknet), Etherscan (Blockchain Data from Ethereum), Herodotus (Provides storage proof for Registered Audit across multiple chain), Tokenflow (Querying transactions and events using queries made easier).

"Habits don't happen if it was hard to do!", we enable Gas Tank ⛽ They just use another app in forms of dApp but more secured, seamless, and transparent. Aka meta transaction happen for seamless writing to blockchain for regular users.

⛽ is powered by ArgentX & Dynamic Wallet that that deals with multi signature transactions and our features.

This project is core-based on Scarb project from Starknet tooling for contract build, deployment for SN Contracts. Our own model is built and trained to analyze the vulnerabilities, thanks to Caracal for datasets for analyzer. Whereas, Slither is used for static analysis for known vulnerability for Contract on EVM. Vite.js with React is used for frontend where user, developer, or a security team can use to analyze their whole project if it contains vulnerability. It has options:

• Download the report as PDF
• Mint the Audit to Audit Registry for transparency and ownership proof to the world.
• Each audit report is stored to IPFS using lighthouse during Audit Minting.
• Tokenflow, Herodotus will be listening to events triggered in L1 & L2 chains if minted, verified, etc,
• ArgentX is the main agent that enables users to interact with dApps without installing any extensions and enabling meta-transactions possible, also helps in minting the audit to L2.
• Dynamic will be used for multi-signatured wallet with ArgentX to perform tasks on Gas Tank.
• Nethermind's extension on react used for local testing of Audit Registry Contract.