Our investigation focuses on the follow areas:
- writing circuits for mobile devices, such as Andriod and iOS
- Recursive proof support in circom etc.
- Oracle and balance verification in circuit
- Practical and efficient proof generation on browsers and compatibility
- Proof generation latency range based on devices
- Snark library compatibility for M1 chips
- Hardware wallet SDK function enrichment
- Proof performance estimation, for example, estimate memory consumption per constraint to allocate enough resources