both projects are open source if you care to verify
its a simple checkpoint and pretty much every actively developing project does this nowadays.
both projects are open source if you care to verify