This chapter discusses EOC 1723 as a solution to design cryptography engine and how it abstracts away proof verification for developers, simplifying the interface and accommodating a variety of examples without compromising the digital asset's goals.