StateSync-GKR