# Proof explorer

View the verification status of your proofs on [NEBRA's proof explorer](https://www.nebrascan.io/).

<figure><img src="https://3334770660-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FMoBOXBLhvoWsjDCMhdCm%2Fuploads%2FIPBSyh3qqmQ5yziVFxHi%2Fimage.png?alt=media&#x26;token=1c03df5c-d991-47d4-98e1-25eadf404dc3" alt=""><figcaption></figcaption></figure>

The proof explorer landing page displays information about the latest verified batches as well as statistics such as the total number of proofs/batches that UPA has verified so far, and how many proofs are pending.\
\
To view the status of all the proofs submitted for your circuit, enter your circuit ID into the search bar on the top right.<br>

<figure><img src="https://3334770660-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FMoBOXBLhvoWsjDCMhdCm%2Fuploads%2FIpRutCBZC3mII8eR40CE%2Fnebrascan.png?alt=media&#x26;token=266ec5ff-a2a7-447d-94d5-63000cbfde05" alt=""><figcaption></figcaption></figure>

This will bring you to a page listing the status of each proof for this circuit, which is either:

* `VERIFIED` - The proof is valid and has been aggregated into a verified batch on-chain.
* `PENDING` - The proof has not been aggregated yet and may be either accepted or rejected.
* `REJECTED` - The proof was invalid.

<figure><img src="https://3334770660-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FMoBOXBLhvoWsjDCMhdCm%2Fuploads%2FPvD76fLQE8vLlZLH1SyZ%2Fimage.png?alt=media&#x26;token=ed69045c-1f80-4204-a861-c1ef5171263a" alt=""><figcaption><p>Verified proofs</p></figcaption></figure>

<figure><img src="https://3334770660-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FMoBOXBLhvoWsjDCMhdCm%2Fuploads%2FKoZC2rITxpgOULv113xb%2Fimage.png?alt=media&#x26;token=d7ebf345-d6d9-4c02-a2fc-7eca9caf48e9" alt=""><figcaption><p>Rejected proofs</p></figcaption></figure>

Click on the "Proof ID" links here or enter a proof ID in the search bar to see more information about an individual proof such as its corresponding public inputs.

<figure><img src="https://3334770660-files.gitbook.io/~/files/v0/b/gitbook-x-prod.appspot.com/o/spaces%2FMoBOXBLhvoWsjDCMhdCm%2Fuploads%2Fu25aGzJWUo1uiIUdZQlb%2Fimage.png?alt=media&#x26;token=ccf83c3b-4d67-4c0a-91d5-e0bafdb470aa" alt=""><figcaption></figcaption></figure>
