This proof comes from a separate demonstration log of 8 sample records, built with FTA's real code and signed with a throwaway demo key (demo-sample-key, SHA-256 8bac3fa94fb9bf7618fab146f42f6e2df938d98b5afa35ae6f7ca902dd9e16c4), not FTA's production key. It shows how the check works. It says nothing about any restaurant. For a real production record, see /verify/1.