Core Implementation for ZK Bind