From 5956d8c4be19230cbffa120f3023f338084b24a9 Mon Sep 17 00:00:00 2001
From: Makoto Inoue <2630+makoto@users.noreply.github.com>
Date: Mon, 15 Jul 2024 12:51:30 +0100
Subject: [PATCH] Add storage verification PoC projects into README.md

---
 README.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index e0d82b2b..5bdc751d 100644
--- a/README.md
+++ b/README.md
@@ -145,7 +145,13 @@ To assess whether a L2 rollup system can integrate with ENS, please see the foll
 4. Is there a way to verify on L1 contract that the state root returned from L2 is valid?
 5. Is there a way to verify that the `storageProof` is included in the state root? For Optimistic rollups, we can use [`Lib_SecureMerkleTrie`](https://github.com/ethereum-optimism/optimism/blob/develop/packages/contracts/contracts/libraries/trie/Lib\_SecureMerkleTrie.sol) library developed by the optimism team. If the chain doesn't support Patricia Merkle Trie, it needs own library
 
+### Integration examples
+
 Here are some of the PoC examples provided by other chains and the actual integration pull requests describing the basic flow.
 
 - Arbitrum = [PoC](https://gist.github.com/gzeoneth/0a8bac381752e4b4f30650a0d3c76096), [PR](https://github.com/ensdomains/evmgateway/pull/19)
-- Scroll = [Poc](https://github.com/makoto/scrolltest/blob/master/src/index.ts), [PR](https://github.com/ensdomains/evmgateway/pull/42)
+- Scroll = [PoC](https://github.com/makoto/scrolltest/blob/master/src/index.ts), [PR](https://github.com/ensdomains/evmgateway/pull/42)
+- Taiko = [PoC](https://github.com/makoto/taikotest)
+- Starknet = [PoC](https://github.com/NethermindEth/starknet-state-verifier)
+- ZKSync = [PoC](https://github.com/getclave/zksync-storage-proofs)
+