Is the approach analogous to one way hash? But with mathematical statements? Given that they can’t be proven, so it’s effectively unpredictable and “un-generat

Is the approach analogous to one way hash? But with mathematical statements? Given that they can’t be proven, so it’s effectively unpredictable and “un-generatable” ?