Geminos at the edge of Research
Zero Knowledge Technologies
Arguments of knowledge like SNARKs and STARKs are very interesting tools, each having strengths and weaknesses to consider depending on the context. In more general cases, Zero Knowledge proofs are used. At Geminos, this is a topic of research that we have been working on for more than a decade.
Quantum Technologies
Quantum computers are viewed as a threat to security in general. Even if the threat may be quite far from happening tomorrow, a new product that should last for decades would benefit from an early adoption of quantum resistant technologies. Today such technologies are standardized, easy to deploy, and efficient for most usages. The only limit is to know where to start, which scheme to use and where a solution requires protection against a quantum computer.
Multiparty Computations
MPC is also a subject that we are actively creating, using and developing at Geminos. Secret sharing, Threshold signatures, Oblivious Transfer,... all improve security of sensitive data manipulation. However, from academic papers to an implementation, there are many steps that need to be taken carefully to avoid weakening the security of the protocol involved. Chosing the protocol, picking the right parameters, using the ad hoc sub scheme with the required security properties and translating that into readable material for engineers is what Geminos can do for you.