Ekasilicon provides dApp audits, specializing in dApps deployed on the Algorand network (including Reach dApps).
Ekasilicon audits for Algorand dApps use static analyzers written using Jade, a semantic framework for AVM programs. The static analyzers Ekasilicon uses are fully-automated, so verifying that an identified issue has been resolved is simple. In addition, these static analyzers are sound so that they can not only identify the presence of particular bad behaviors, but they can also demonstrate the absence of particular bad behaviors. This combination of full automation and soundness supports audits which are qualitatively-different than the industry standard—those for which the turnaround of a re-review is quick but no less comprehensive and a "no issues found" report is a good thing!
After reading more about our methodology, get in touch or schedule a meeting to discuss what an Ekasilicon audit can provide your specific dApp.
Humbleswap for Humble
Simple Staker for Humble