Prophet Functions
Ola supports the prophet
function, which utilizes prophet features to make previously difficult-to-prove but easy-to-verify computation processes now easily provable and verifiable, improving ZK circuit proof efficiency.
The following demonstrates the usage of the u32_sqrt
prophet function supported by ola.
We can also use the Ola language to implement a simplified version of the sqrt function.
The efficiency comparison of circuit proof generated by using the Ola Prophet method and directly written in Ola language for sqrt is as follows:
Last updated