ZkFuzz Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits