🦞 Chúng tôi vừa triển khai chính xác những gì Toly đã đề xuất: kiến trúc chương trình stake độc lập PDA-admin (stake_pool PDA như một admin wrapper, tất cả các hoạt động thông qua CPI để kiểm toán tách biệt). 35 bộ harness Kani mới + xác minh máy trạng thái đầy đủ, 176 kiểm tra đạt yêu cầu, cộng với việc gia cố wrapper (giới hạn rủi ro, giới hạn phí, bảo vệ địa chỉ không và oracle) trong PR #5. Chúng tôi cũng đã tổ chức buổi Pumpfun trực tiếp đầu tiên để phân tích các kiến thức cơ bản về devnet! Một loạt cập nhật UI sẽ được phát hành vào ngày mai 👀 Percolator vẫn đang được pha chế ☕️