A generic proof engine for everyday use. Creating immutable, transparent, anything-verification primitives for humans. Running on @Alephium