@khongmatkhau
A fixed challenge period in a zk coprocessor (or similar systems) using an AVS can lead to unexpected behavior: If the proof generation time exceeds the challenge period, incorrect results could be accepted, and slashing wouldn't occur. Managing this is delicate, as implementing a dynamic challenge period isn't easy. https://canhrau.com/wp-content/uploads/2022/04/nhung-hinh-anh-phong-canh-dep-nhat-hinh-10.png