Zero Knowledge Proofs (ZKP) were invented in context of the probabilistic proof systems in the early 1980s. There were a subtle and chaotic correlations between analytic arguments of knowledge and algorithmic Turing machines. Hence it was very difficult to construct a deterministic Turing machine that can mathematically reflect the knowledge systems.
Cryptography was more semiotic and less semantic in those early years of rising tides of asymetric and analytic cryptography. Hence it has imposed an ontological boundary on the epistemological range of knowledge systems. However with the widening scope of knowledge systems beyond the classical and conventional ontology, ephemeral epistemology has generated new possibilities in the early 2000s.
When we look at the contemporary epistemological dimensions, knowledge systems are time locked and time trasient beyond the classical and condictional probabilities. The recursive and reflexive nature of zero knowledge proof systems are pointing towards a pathway of convergence between knot theory and knowledge proofs.
Thus ZKP systems like zkSNARKs, zkSTARKs etc. would be the mappings of succinct and seamless streams of argument originating in the ontological webs of knots. Webs of knot has indeed become the innate nature of web in the post praxis era. As an intrinsic intersubjectivitivity