https://sat-smt.codes/SAT_SMT_by_example.pdf
SMT solvers are built on top of them which can do useful things like crack license keys or do cryptanalysis. https://zeta-two.com/assets/other/nixucon18-slides.pdf https://github.com/TechSecCTF/z3_splash_class
Bitcoin is anonymous in the sense that you don't necessarily need to link your wallet to your real name, it's just not the best choice for privacy since transaction details are public. Besides, mixing services exist.
https://sat-smt.codes/SAT_SMT_by_example.pdf
SMT solvers are built on top of them which can do useful things like crack license keys or do cryptanalysis. https://zeta-two.com/assets/other/nixucon18-slides.pdf https://github.com/TechSecCTF/z3_splash_class
Bitcoin is anonymous in the sense that you don't necessarily need to link your wallet to your real name, it's just not the best choice for privacy since transaction details are public. Besides, mixing services exist.