US12067902B2 - System and Method for Processing Boolean and Garbled Circuits in Memory-Limited Environments