Sketch Kernel Ridge Regression Using Circulant Matrix: Algorithm and Theory | Synapse