diff --git a/receipts/fetch.go b/receipts/fetch.go
new file mode 100644
index 00000000..b9beadb4
--- /dev/null
+++ b/receipts/fetch.go
@@ -0,0 +1,144 @@
+package receipts
+
+import (
+	"context"
+	"fmt"
+	"math/big"
+
+	"github.com/0xsequence/ethkit/ethrpc"
+	"github.com/0xsequence/ethkit/go-ethereum"
+	"github.com/0xsequence/ethkit/go-ethereum/common"
+	"github.com/0xsequence/ethkit/go-ethereum/core/types"
+	sequence "github.com/0xsequence/go-sequence"
+)
+
+const MaxFilterBlockRange = 10_000
+
+// FetchReceipts looks up the transaction that emitted Call* events for the given
+// digest and returns all decoded Sequence receipts along with the native receipt.
+//
+// The `opHash` is also known as the "MetaTxnID"
+//
+// NOTE: toBlock can also be nil, in which case the latest block is used.
+//
+// Finally, please note that this method will not find meta-transactions if there is a
+// native transaction which fails. In that case, the Call* events are not emitted and
+// thus cannot be found. In such cases, you will need to look up the native transaction
+// receipt directly. However, this is not to be confused with where a "Call" inside
+// of the native transaction fails, but the native transaction itself succeeds which
+// is more common and works fine.
+func FetchReceipts(ctx context.Context, opHash common.Hash, provider *ethrpc.Provider, fromBlock, toBlock *big.Int) (Receipts, *types.Receipt, error) {
+	if provider == nil {
+		return Receipts{}, nil, fmt.Errorf("no provider")
+	}
+
+	fromBlock_ := fromBlock
+	if fromBlock_ == nil {
+		fromBlock_ = new(big.Int)
+	}
+
+	toBlock_ := toBlock
+	if toBlock_ == nil {
+		latest, err := provider.BlockNumber(ctx)
+		if err != nil {
+			return Receipts{}, nil, fmt.Errorf("unable to get latest block: %w", err)
+		}
+		toBlock_ = new(big.Int).SetUint64(latest)
+	}
+
+	if new(big.Int).Sub(toBlock_, fromBlock_).Cmp(big.NewInt(MaxFilterBlockRange)) > 0 {
+		return Receipts{}, nil, fmt.Errorf("block range %v to %v exceeds %v, reduce block range", fromBlock_, toBlock_, MaxFilterBlockRange)
+	}
+
+	query := ethereum.FilterQuery{
+		FromBlock: fromBlock,
+		ToBlock:   toBlock,
+		Topics: [][]common.Hash{
+			{sequence.V3CallSucceeded, sequence.V3CallFailed, sequence.V3CallAborted, sequence.V3CallSkipped},
+			{opHash},
+		},
+	}
+
+	logs, err := provider.FilterLogs(ctx, query)
+	if err != nil {
+		return Receipts{}, nil, fmt.Errorf("unable to filter logs: %w", err)
+	}
+	if len(logs) == 0 {
+		// Fallback for legacy events where the digest is not indexed.
+		query.Topics = [][]common.Hash{{sequence.V3CallSucceeded, sequence.V3CallFailed, sequence.V3CallAborted, sequence.V3CallSkipped}}
+		logs, err = provider.FilterLogs(ctx, query)
+		if err != nil {
+			return Receipts{}, nil, fmt.Errorf("unable to filter logs without digest topic: %w", err)
+		}
+	}
+
+	log, err := findDigestLog(logs, opHash)
+	if err != nil {
+		return Receipts{}, nil, err
+	}
+
+	receipt, err := provider.TransactionReceipt(ctx, log.TxHash)
+	if err != nil {
+		return Receipts{}, nil, fmt.Errorf("unable to get transaction receipt %v: %w", log.TxHash, err)
+	}
+
+	decoded, err := TransactionReceiptsForReceipt(ctx, receipt, provider)
+	if err != nil {
+		return Receipts{}, receipt, fmt.Errorf("unable to decode transaction receipt %v: %w", receipt.TxHash, err)
+	}
+
+	receipts := decoded.Find(opHash)
+	if receipts == nil {
+		return Receipts{}, receipt, fmt.Errorf("decoded receipts do not include digest %v", opHash)
+	}
+
+	return *receipts, receipt, nil
+}
+
+func findDigestLog(logs []types.Log, digest common.Hash) (*types.Log, error) {
+	var selected *types.Log
+
+	for i := range logs {
+		log := &logs[i]
+
+		if !matchesDigest(log, digest) {
+			continue
+		}
+
+		if selected == nil || isNewerLog(log, selected) {
+			selected = log
+		}
+	}
+
+	if selected == nil {
+		return nil, fmt.Errorf("no Call* events found for digest %v", digest)
+	}
+
+	return selected, nil
+}
+
+func matchesDigest(log *types.Log, digest common.Hash) bool {
+	if hash, _, err := sequence.V3DecodeCallSucceededEvent(log); err == nil && hash == digest {
+		return true
+	}
+	if hash, _, _, err := sequence.V3DecodeCallFailedEvent(log); err == nil && hash == digest {
+		return true
+	}
+	if hash, _, _, err := sequence.V3DecodeCallAbortedEvent(log); err == nil && hash == digest {
+		return true
+	}
+	if hash, _, err := sequence.V3DecodeCallSkippedEvent(log); err == nil && hash == digest {
+		return true
+	}
+	return false
+}
+
+func isNewerLog(a, b *types.Log) bool {
+	if a.BlockNumber != b.BlockNumber {
+		return a.BlockNumber > b.BlockNumber
+	}
+	if a.TxIndex != b.TxIndex {
+		return a.TxIndex > b.TxIndex
+	}
+	return a.Index > b.Index
+}
diff --git a/receipts/receipts.go b/receipts/receipts.go
index 9ce2516c..5eb9184b 100644
--- a/receipts/receipts.go
+++ b/receipts/receipts.go
@@ -31,6 +31,21 @@ type Receipts struct {
 	Receipts []Receipt
 }
 
+func (r *Receipts) IsSuccess() bool {
+	for _, receipt := range r.Receipts {
+		switch receipt.Status {
+		case StatusNotExecuted, StatusFailed, StatusAborted:
+			return false
+		}
+
+		if receipt.Receipts != nil && !receipt.Receipts.IsSuccess() {
+			return false
+		}
+	}
+
+	return true
+}
+
 func (r *Receipts) Find(digest common.Hash) *Receipts {
 	if digest == r.Digest {
 		return r