perf(stark): optimize constraints evaluation

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 https://github.com/0xMiden/p3-miden/issues/49

Xem xét mã đánh giá constraint trong module Stark. Issue đề cập đến việc sử dụng một buffer có kích thước cố định nhỏ hơn thay vì một vector để tích lũy các kết quả đánh giá. Trước tiên, hãy tìm nơi các kết quả đánh giá hiện đang được đưa vào một vector. Tìm hiểu công việc tối ưu hiệu năng ban đầu được liên kết từ issue p3-miden. Mục tiêu là sửa đổi logic tích lũy để sử dụng một buffer, nhiều khả năng sẽ yêu cầu thay đổi một vài tệp trong đường dẫn đánh giá constraint. Chạy các benchmark để xác minh cải thiện hiệu năng.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.