Công ty bảo mật Web3 Certora nhận được tài trợ từ Quỹ Ethereum

Odaily đưa tin, công ty bảo mật Web3 Certora thông báo đã nhận được tài trợ từ Quỹ Ethereum, số tiền cụ thể chưa được tiết lộ. Nguồn vốn liên quan sẽ được sử dụng để hỗ trợ việc xác minh tính chính xác của precompile tự động, một kỹ thuật tối ưu hóa quan trọng trong tính toán zero-knowledge, được phát triển bởi Powdr Labs cho dự án zkEVM của Quỹ Ethereum. Được biết, Certora dự định sẽ mã nguồn mở các đặc tả, chứng minh và khung xác minh do họ phát triển. (Chainwire)