Update docs/cdk/agglayer/agglayer-rs.md

Co-authored-by: Jaime-N <149603094+Jaime-N@users.noreply.github.com>

Author: kmurphypolygon

docs/cdk/agglayer/agglayer-rs.md

@@ -10,8 +10,8 @@ It replaces the previous [Golang implementation](agglayer-go.md).
 
 ### Components
 
-- Aggregator: Receives and verifies zk-proofs.
-- Verifier: Confirms the soundness of proofs before submitting them to L1.
+- Unified bridge: A shared bridge contract for all AggLayer-connected chains, allowing for the transfer of native assets.
+- Pessimistic proof: A novel ZKP that provides safety for the assets on the unified bridge by ensuring no chain can withdraw more tokens of any type than have been deposited into it. The pessimistic proof is validated the verifier contract on the L1. 
 
 ### Data flow