Java, C, Blockchain, Cryptography, Computer Engineering, Zero-Knowledge Proofs, Multiparty Computation, Symmetric-key cryptography, Computer Science, Post-quantum cryptographic algorithms, Mathematics, Lattice-based algorithms, Homomorphic Encryption, Elliptic curves, AI-assisted auto-generation and verification, Electrical Engineering, Distributed ledger technology, Security Protocols, Bilinear pairing, formal verification