The current approach for accumulating constraint evaluation is a simplification of @Al-Kindi-0's original work. We are currently pushing all evaluations into a vector, and accumulating at the end. Using a smaller fixed size buffer led to better performance.
Ported from 0xMiden/p3-miden#49
The current approach for accumulating constraint evaluation is a simplification of @Al-Kindi-0's original work. We are currently pushing all evaluations into a vector, and accumulating at the end. Using a smaller fixed size buffer led to better performance.
Ported from 0xMiden/p3-miden#49