キムチに入れる海草は何？

韓国の友人から、母親手作りのキムチをいただきました。 とても味わい深く、毎日微妙に味が変化していくので、楽しくおいしく食しました。 材料をきいたところ、いろんなものがあったのですが、 その中で、海草の名前がわかりませんでした。 その海草は濃い緑色でベルベットのような感じだそうです。 友人は日本語が達者な方ではないので、海草としか言えないのです。 もちろん私にも、そんな友人の意を汲み取る程の語学力はありません。 どなたか、ご存知の方がいらっしゃいましたら、教えてくださいませ。