これが以前に投稿されていないことに驚いています！

一貫オーバーヘッド・バイトスタッフィング（COBS）アルゴリズムが区切バイトストリームに使用されます。

フレームマーカー（0x00を使用します）を選択し、ストリーム内で0x00が発生するたびに、次の0x00が発生するまでバイト数で置き換えます（これをマイルストーンと呼びます）。これにより、値の範囲が0..255から1..255に減少し、0x00がストリーム内のフレームを明確に区切ることができるようになります。
マイルストーンで、次の255Bに0x00が含まれていない場合、これは最大マイルストーン長を超えます-アルゴリズムは255Bで「停止」し、別のマイルストーンを配置する必要があります。これは「一貫したオーバーヘッド」です。
最初のバイトは最初のマイルストーンになり、最後のマイルストーンはフレームマーカーまでのバイト数になります。

ウィキペディアのいくつかの例（色分けされている記事を読むのに最適です）：

0x00 as frame marker

Unencoded data (hex)    Encoded with COBS (hex)
00                      01 01 00
00 00                   01 01 01 00
11 22 00 33             03 11 22 02 33 00
11 22 33 44             05 11 22 33 44 00
11 00 00 00             02 11 01 01 01 00
01 02 03 ... FD FE      FF 01 02 03 ... FD FE 00
00 01 02 ... FC FD FE   01 FF 01 02 ... FC FD FE 00
01 02 03 ... FD FE FF   FF 01 02 03 ... FD FE 02 FF 00
02 03 04 ... FE FF 00   FF 02 03 04 ... FE FF 01 01 00
03 04 05 ... FF 00 01   FE 03 04 05 ... FF 02 01 00

課題：最短のプログラムでこれを実装する。

• 入力はエンコードされていないバイトストリーム/配列、出力はエンコードされたバイトストリーム/配列です
• あらゆる種類のバイナリ標準入出力を使用する
• 最終フレームマーカーは必要ありません
• プログラムは特大の配列を返すことができます
• ゼロ以外の254バイトで終了するストリームは、末尾の0x00を必要としません

ノート

• 最悪の場合の戻り長は numBytes + (numBytes / 254) + 1

例

バイト配列があります

[0] 0x01
[1] 0x02
[2] 0x00
[3] 0x03
[4] 0x04
[5] 0x05
[6] 0x00
[7] 0x06

それぞれ0x00について、次0x00がどこにあったかを（マイルストーンで）述べる必要があります。

[0] 0x03   #Milestone. Refers to the original [2] - "The next 0x00 is in 3B"
[1] 0x01   #Original [0]
[2] 0x02   #Original [1]
[3] 0x04   #Milestone. Refers to the original [6] - "The next 0x00 is in 4B"
[4] 0x03   #
[5] 0x04   #
[6] 0x05   # Originals [3..5]
[7] 0x02   #Milestone. Refers to the end frame marker
[8] 0x06   #Original [7]
[9] 0x00   #Optional. End frame marker.

JavaScript（Node.js）、114バイト

a=>(g=([v,...a])=>1/v?[v||a.indexOf(0)+1,...g(a)]:[])([0,...a,0].flatMap((v,j)=>1/a[j]&&(i=v&&i+1)>253?[v,i=0]:v))

オンラインでお試しください！

Java（JDK）、143バイト

a->{int l=a.length,r[]=new int[l+2],i=0,j=1,x=1,z=0;for(;i<l;){if(a[i]>0)r[j++]=a[i];if(a[i++]<1||++x>254){r[z]=x;z=j++;x=1;}}r[z]=x;return r;}

オンラインでお試しください！

Python 2、125バイト

def f(a):
 r=[[]]
 for v in a:r+=[[]]*((len(r[-1])>253)+(v<1));r[-1]+=[v]*(v>0)
 return sum([[len(x)+1]+x for x in r],[])+[0]

オンラインでお試しください！

ゼリー、27バイト

Oµ=0ks€254Ẏḟ€0L‘;Ɗ€F;Ṫ¬x`ƊỌ

オンラインでお試しください！

エンコードされていないバイト配列を入力として受け取り、エンコードされたバイト配列を返すモナディックリンク。ルールにより、最終フレームマーカーは省略されます。

説明

Oµ                          | Convert to integer and start a new monadic chain
  =0k                       | Split after zeros
     s€254                  | Split each list into length 254 lists
          Ẏ                 | Tighten (reduce list depth by 1)
           ḟ€0              | Filter zeros out from each list
              L‘;Ɗ€         | Prepend the list length plus one to each list
                   F        | Flatten
                    ;Ṫ¬x`Ɗ  | Append an additional 1 if the original list ended with zero
                          Ọ | Convert back to bytes

エリクサー、109バイト

&Regex.replace~r/(^|(?<=([^\0]{254}))(?!$)|\0)((?2)|[^\0]*?(?=\0|$))/,&1,fn _,_,_,x-><<1+byte_size x>><>x end

オンラインでお試しください！

J、103文字

最後のテストケースの結果がwikiや他の言語と異なることに注意してください。これは、境界の254番目のゼロバイトへのこのポインタが原因です。これを特別なケースとして扱わなければ、物事はずっと簡単になります。

f =: 3 : 0
  k =. I. (y,0)=0
  s =. - 2 (-/) \ k
  (>: y i. 0), s (}:k) } y
 )

 f2 =: 3 : 0
   f each _254 <\ y
 )

オンラインで試す