본문으로 건너뛰기

토파즈6.0 · 출시 전

다운로드 →

라이브러리 · std.bytes

Bytes.reedSolomon255223Protect

Applies Reed-Solomon 255/223 protection to this byte sequence.

reedSolomon255223Protect() -> Result<Bytes, string>

모듈: std.bytes →
수신자: Bytes
최소 인자 수: 0
최대 인자 수: 0

Declaration and parameters

사용 조건

기본 포함 · 미정

Import std.bytes in language mode 5.21.

The current compiler selects std/bytes.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.

수신자

Bytes

매개변수 제약

추가 계약은 미정입니다.

Bytes.reedSolomon255223Protect accepts between 1 and 14614305 input bytes. Empty input and larger input return Err with a string.

Input bytes are partitioned into consecutive 223-byte data chunks. The final chunk is padded with zero bytes to 223 bytes.

Each output codeword contains its 223 data bytes followed by 32 parity bytes. Codewords are concatenated in input order.

The result contains 255 times the ceiling of input length divided by 223 bytes. At most 65535 codewords are produced.

Field arithmetic uses GF256 with primitive polynomial 0x11d and primitive element 2. Generator roots are the powers of that element from 0 through 31.

Treat the first data byte as the highest-degree coefficient. Parity is the 32-byte remainder after multiplying the data polynomial by x to the power 32.

The output contains no original length or additional framing. Callers must retain the input length to distinguish padding from original trailing zero bytes.

The operation generates parity bytes. It does not detect or correct corruption in existing codewords.

The receiver evaluates once and remains unchanged. Input bounds are checked before output allocation and failure exposes no codeword prefix.

관련 규칙 · Protect data with systematic Reed-Solomon codewords →

결과

추가 계약은 미정입니다.

The declared result type is Result<Bytes, string>.

효과

미정

실패

미정

Result and effects

Protect nonempty data with systematic 255-byte codewords containing 223 data bytes and 32 parity bytes. At most 65535 codewords are produced.

Resolved contracts

Protect data with systematic Reed-Solomon codewords

규칙topaz.stdlib.contract.bytes-reed-solomon.rule

Protect data with systematic Reed-Solomon codewords

Bytes.reedSolomon255223Protect accepts between 1 and 14614305 input bytes. Empty input and larger input return Err with a string.

Input bytes are partitioned into consecutive 223-byte data chunks. The final chunk is padded with zero bytes to 223 bytes.

Each output codeword contains its 223 data bytes followed by 32 parity bytes. Codewords are concatenated in input order.

The result contains 255 times the ceiling of input length divided by 223 bytes. At most 65535 codewords are produced.

Field arithmetic uses GF256 with primitive polynomial 0x11d and primitive element 2. Generator roots are the powers of that element from 0 through 31.

Treat the first data byte as the highest-degree coefficient. Parity is the 32-byte remainder after multiplying the data polynomial by x to the power 32.

The output contains no original length or additional framing. Callers must retain the input length to distinguish padding from original trailing zero bytes.

The operation generates parity bytes. It does not detect or correct corruption in existing codewords.

The receiver evaluates once and remains unchanged. Input bounds are checked before output allocation and failure exposes no codeword prefix.

이유

A field definition and systematic layout make parity interoperable. Keeping the original length outside the codeword avoids silently guessing which trailing zero bytes belong to the payload.

예제 Protect a zero byte with zero padding and parity →Reject empty data before creating codewords →Emit the specified parity for a nonzero payload →

Protect a zero byte with zero padding and parity

run · running · 검증 · 미실행

main.tpzProtect a zero byte with zero padding and parity플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
import std.test
let encoded = test.assertOk(test.assertOk(Bytes.fromArray([0])).reedSolomon255223Protect())
io.writeLine("{encoded.toArray().length}")
io.writeLine(encoded.slice(0, 4).toHex())
io.writeLine(encoded.slice(223, 255).toHex())

기대 출력종료 코드 0

255
00000000
0000000000000000000000000000000000000000000000000000000000000000

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

255
00000000
0000000000000000000000000000000000000000000000000000000000000000

이 예제는 아직 실행하지 않았습니다.

Reject empty data before creating codewords

run · running · 검증 · 미실행

main.tpzReject empty data before creating codewords플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
match (Bytes.empty().reedSolomon255223Protect()) {
case Err(_) => io.writeLine("empty data rejected")
case Ok(_) => io.writeLine("accepted")
}

기대 출력종료 코드 0

empty data rejected

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

empty data rejected

이 예제는 아직 실행하지 않았습니다.

Emit the specified parity for a nonzero payload

run · running · 검증 · 미실행

main.tpzEmit the specified parity for a nonzero payload플레이그라운드 열기 →

import std.io
import std.test
let encoded = test.assertOk("hello".encodeUtf8().reedSolomon255223Protect())
io.writeLine(encoded.slice(0, 5).toHex())
io.writeLine(encoded.slice(223, 255).toHex())

기대 출력종료 코드 0

68656c6c6f
c7a146d71a5245bf94210961b0acac5f4358ac66cf234be24bcea41117eeb5fd

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

68656c6c6f
c7a146d71a5245bf94210961b0acac5f4358ac66cf234be24bcea41117eeb5fd

이 예제는 아직 실행하지 않았습니다.