Proper cryptographic setup and circuit construction
Our cryptographers collaborate with clients to assess and solve issues by
- Assessing the most appropriate arithmetization, argument systems, hash functions, commitment schemes, elliptic curves, finite fields, etc., for the NP statements to be proven.
- Sharing our knowledge regarding the security limitations and subtleties of cryptographic setup to avoid the introduction of unwanted and unnoticed bugs in the code.
- Identifying how to best use existing primitives (e.g., how to specialize PLONK or a lookup argument for your project).
- Verifying you've specified your circuits correctly (and they're fully constrained).