Lisan

Lisan uses block hashes sent between chains using LayerZero to prove events happened on a remote chain, on the current chain.

Notes

To get the oracle in noir communicating with the outside world:

cd client
bun run dev
cd ..

cd circuits
nargo test --oracle-resolver=http://127.0.0.1:5555 --show-output

Generating Proof Of Sepolia Transfer

Anytime you make a change to the main.nr circuit, you need to run:

./build-circuit-to-contract.sh
# ensure you have the oracle running before running this
cd circuits && nargo prove --oracle-resolver=http://127.0.0.1:5555
cd ../contracts && bun hardhat test

Note: this might seem broken, but it does take a while. Have a look at your activity monitor if you dare lol

Testnet Deployments

Amoy

Contract	Address
Lisan	0x5c37a27779c2C0CCc550B1Af3Ffe592Cd19582bb
ProofOfSepoliaTransfer	0xf5F126b398bAb455EecF05243707875248643498
UltraVerifier	0x8273CC3A0F4736FE5FB687B3652768e789572DFa

Sepolia

Contract	Address
Lisan	0xdEfbc7F979aD934a401e0c2A426243470f077313

Arb Sepolia

Contract	Address
Lisan	0x381eba262eb91f55ca44748b1151406f5da5bd09
ProofOfSepoliaTransfer	0x68B13b58F55C91eeC85fa5F792deb4f759D86856
UltraVerifier	0xB943bFeDFeFA3F63213ff80Ffe31E4058de5E91D

Real Testnet Proofs

1. On polygon amoy, in transaction 0xbfc5a3cff200c3350d45c8993bfc026e4da281787677bc4131835983817dd527, I was able to prove that transaction 0xe58e296c754c47a64a396d353e38c35146db30957449e747dbe97db0e77b4e61 occured on ethereum sepolia.

Currently Unprovable Transactions :(

wmatic-prover is another proving model, that proves that a user has a non zero amount of wrapped matic on polygon amoy. This is currently unprovable as generating this proof takes > 20GB of ram, and my machine is only 16gb. However, I am confident that this proof is correct, but will not be able to generate a proof in this hackathon time frame.

Acknowledgements:

This would not be possible without the awesome work done by vLayer and their noir libaries