Category: Patents
Read the latest research on Tau Net technology
This patent is about a specification language with unique properties of high expressiveness while retaining decidability, software synthesis and referring to its own sentences.
A computer-implemented method issues reusable certificates for user uniqueness or claims by verifying submitted evidence and linking the certificate to the user’s public key.