Private Projects

If you are interested in (or are very good at!) any of the following topics, then please reach out. 🙂

• Low-latency interaction with novel blockchain networks
• Optimising compilers (or other program rewriters) for ZKP circuit languages
• Real estate market analytics and forecasting
• Automated security tooling for ZKP circuit languages
  • Static analysis
  • Symbolic execution
  • Fuzzing