Appendix B: Differential Circuits | AMiner