Zksecurity

Zksecurity là một giải pháp kiểm tra bảo mật cho các ứng dụng không có kiến ​​thức. Mục tiêu của nó là đảm bảo rằng quá trình chuyển đổi sang một thế giới không kiến ​​thức đi kèm với các vấn đề tối thiểu. Zksecurity sản xuất công cụ, phương pháp hay nhất và kiểm tra các hệ thống và ứng dụng không có kiến ​​thức.