Developers
Resources
Contact us
Copyright © 2025 – IDNI. All rights reserved.
Research
Read the latest research on Tau technology
Spotlight
Highlighting our most recent significant stories.
- 18/03/2025
Using First-Order Theories of Boolean Algebras to Provide Safe AI Systems and a Novel Software Specification Logic
This patent is about a specification language with unique properties of high expressiveness while retaining decidability, software synthesis and referring to its own sentences.
- PATENTS
- 27/12/2024
Theories and Applications of Boolean Algebras - Updated Version 0.29
Work-in-progress draft version 0.29.
- PAPERS
- 10/08/2024
Theories and Applications of Boolean Algebras - Updated Version 0.25
Work-in-progress draft version 0.25.
- PAPERS
- 12/03/2024
Theories and Applications of Boolean Algebras - Version 0.1
Work-in-progress draft version 0.1.
- PAPERS
- 29/11/2023
A Method and System for Arbitrary Attestation to Anonymous Internet Users
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.
- PATENTS
- 21/12/2022
Tau Language Low Level Summary
The Tau language is a language extension of other classical logics (the “base logics”) intended to be a logic whose formulas denote software specifications.
- BLOG
- 27/12/2024
Theories and Applications of Boolean Algebras - Updated Version 0.29
Work-in-progress draft version 0.29.
- PAPERS
- 18/03/2025
Using First-Order Theories of Boolean Algebras to Provide Safe AI Systems and a Novel Software Specification Logic
This patent is about a specification language with unique properties of high expressiveness while retaining decidability, software synthesis and referring to its own sentences.
- PATENTS