Blockchain, Cryptography, Zero-Knowledge Proofs, Multiparty Computation, Symmetric-key cryptography, Security proof, Post-quantum cryptographic algorithms, Lattice-based algorithms, Elliptic curves, Algebra, Homomorphic Encryption, White-box crypto algorithm, AI-assisted auto-generation and verification, Distributed ledger technology, Applied cryptography, Bilinear pairing, Security Protocols, formal verification