BlockWitness: A Verification System With Fully Homomorphic Encryption for Permissioned Blockchains - Trineto, Rafael Descio (PQDT - Global, 2025)