Ένα απο τα μεγαλύτερα προβλήματα στη φορολογία εισοδήματος είναι η απόκρυψη των εισοδημάτων και η φοροδιαφυγή. Εάν το Υπουργείο Οικονομίας είχε τη δυνατότητα πρόσβασης στους τραπεζικούς λογαριασμούς των φυσικών προσώπων η φοροδιαφυγή θα ήταν αδύνατη. Κάτι τέτοιο όμως δεν είναι δυνατό λόγω τραπεζικού απορρήτου. Προτείνεται λοιπόν ένα σχήμα με το οποίο θα προκύπτει ομαδοποιημένο το συνολικό εισόδημα που κατατέθηκε σε όλους τους λογαριασμούς κάθε φυσικού προσώπου χωρίς όμως οι ενδιάμεσοι ή η εφορία να γνωρίζει περισσότερες λεπτομέρειες (πχ σε ποιά τράπεζα είναι ο λογαριασμός κτλ).

Κάθε λογαριασμός τραπέζης έχει κάποιους δικαιούχους οι οποίοι παράλληλα με τα στοιχεία τους δηλώνουν και τον ΑΦΜ τους.
Το σύστημα taxis δημιουργεί ένα certification authority (CA) το οποίο εκδίδει certificates για τα public keys όλων των τραπεζών καθώς και του συστήματος Τιρεσίας. Παράλληλα, διαθέτει και το ίδιο ένα public key. Το σύστημα Τιρεσίας θα παίξει κομβικό ρόλο στο σχήμα αυτό.
Επίσης εκδίδει μία τυχαία, πολύ μεγάλη συμβολοσειρά (ας την ονομάσουμε RandKey) την οποία γνωρίζουν όλες οι τράπεζες (είναι ίδια για όλες) αλλά όχι ο Τιρεσίας (τους αποστέλεται με ασφαλή, κρυπτογραφημένο τρόπο).

Στο τέλος κάθε μήνα κάθε τράπεζα υπολογίζει το συνολικό ποσό που κατατέθηκε σε όλους τους λογαριασμούς που ανήκουν σε κάθε ΑΦΜ (Deposit). Απο το ποσό αυτό αφαιρείται το εισόδημα τόκων. Η παρακάτω διαδικασία ακολουθείται για κάθε ΑΦΜ:

Τράπεζα:
AFM = ΑΦΜ concat RandKey.
Enc.AFM = Encrypt(AFM με TAXIS public key).
Enc.Deposit = Encrypt(Deposit με Tiresias public key).
Document = Enc.AFM + Enc.Deposit
Sign(Document με bank private key)
Αποστολή του υπογεγραμμένου document στον Τιρεσία μαζί με το certificate της τράπεζας με ασφαλή τρόπο. (πχ μέσω Web Service over SSL).

Η προσθήκη του RandKey στο AFM χρησιμοποιείται ώστε ο Τιρεσίας να μην μπορεί να γνωρίζει τίποτα περί των φορολογούμενων. Προφανώς το AFM μπορεί να αποκρυπτογραφηθεί μόνο απο το taxis και όχι απο τον Τιρεσία.

Τιρεσίας:
Verify Signature of Document με βάση το bank public key.
Decrypt Deposit.
Για κάθε Enc.AFM πρόσθεση όλων των Deposit. Προκύπτει το Total.Deposit.
Enc.Total.Deposit = Encrypt(Total.Deposit με taxis public key)
Document = Enc.AFM + Enc.Total.Deposit
Sign(Document με Τιρεσίας private key)
Αποστολή του υπογεγραμένου Document στο τaxis μαζί με το certificate του Τιρεσία με ασφαλή τρόπο. (πχ μέσω Web Service over SSL).

Taxis:
Verify Signature of Document με βάση το tiresias public key.
Decrypt Total.Deposit και AFM.

Πλέον το taxis γνωρίζει το ποσό που κατατέθηκε σε όλους τους λογαριασμούς του ΑΦΜ χωρίς όμως να γνωρίζει τις καταθέσεις του, ούτε σε ποιές τράπεζες τις διατηρεί. Ουσιαστικά δηλαδή δε γνωρίζει τίποτα παραπάνω απο όσα θα έπρεπε να γνωρίζει για την φορολόγηση του εισοδήματος, επομένως δεν παραβαίνει τραπεζικό απόρρητο. Παράλληλα και ο Τιρεσίας δε γνωρίζει (καθώς ο ΑΦΜ είναι κρυπτογραφημένος) τα στοιχεία που λαμβάνει σε ποιούς αναφέρονται.