Certora nhận nguồn vốn nghiên cứu từ Quỹ Ethereum để hợp tác với Powdr Labs nhằm tối ưu hóa hiệu năng zkEVM

Certora đã nhận nguồn vốn nghiên cứu từ Quỹ Ethereum nhằm hợp tác với Powdr Labs để tối ưu hóa công nghệ zkEVM thông qua xác minh hình thức tiền biên dịch tự động.