金色財經報導,零知識證明軟體開發商RISCZero宣布其第一個RISCZeroproof已在StarknetSepolia測試網上正式得到驗證,開發人員可通過RISCZero的zkVM使用Rust中的ZKP,實現可驗證的鏈下執行等。