add shaders and constraint matrix, as well as corresponding test cases, all test cases passed.