Using cairo-sharp

cairo-sharp is a command line utility included in the cairo-lang package that gives free but limited access to Sepolia SHARP via the following commands:

NOTE: cairo-sharp submit is rate-limited to prevent a DOS attack on SHARP.

submit

Description: Submits a Cairo PIE to be proven and verified on Sepolia.

Parameters:

  • cairo_pie: The Cairo PIE

Example:

$ cairo-sharp submit pie.zip

Compiling...
Running...
Submitting to SHARP...
Job sent.
Job key: 699bf741-7c91-4b93-a158-aaddac7534c1s
Fact: 0xca15503f02f8406b599cb220879e842394f5cf2cef753f3ee430647b5981b782

status

Description: Gets that status of a job submitted by cairo-sharp submit.

Parameters:

  • job_key: The key of a job submitted by cairo-sharp submit

Example:

$ cairo-sharp status 699bf741-7c91-4b93-a158-aaddac7534c1

PROCESSED

is_verified

Description: Checks if a job submitted by cairo-sharp submit has been verified on Sepolia.

Parameters:

  • fact: The fact of a job submitted by cairo-sharp submit
  • node_url: An Ethereum node url

Example:

$ cairo-sharp is_verified 0xca15503f02f8406b599cb220879e842394f5cf2cef753f3ee430647b5981b782 \
--node_url https://ethereum-sepolia-rpc.publicnode.com

True