Looks like @cryptobyers hasn't received any replies yet!