Minimal no_std SHA-2 implementation crate for EriX.
Find a file
Erik Inkinen 06e41ec6c7
All checks were successful
CI / markdown (push) Successful in 4s
CI / test (push) Successful in 11s
Tighten CI markdown policy
2026-05-22 15:10:30 +03:00
.github Tighten CI markdown policy 2026-05-22 15:10:30 +03:00
src Implement SHA-256 support with incremental and one-shot hashing 2026-02-26 17:06:12 +02:00
.editorconfig Initial commit 2026-02-26 15:25:25 +01:00
.gitignore Ignore local .ci workspace 2026-04-15 21:52:55 +03:00
.markdownlint-cli2.yaml Tighten CI markdown policy 2026-05-22 15:10:30 +03:00
ARCHITECTURE.md Tighten CI markdown policy 2026-05-22 15:10:30 +03:00
Cargo.toml Add initial implementation of no_std SHA-2 (SHA-512) crate 2026-02-26 16:51:34 +02:00
CODE_OF_CONDUCT.md Tighten CI markdown policy 2026-05-22 15:10:30 +03:00
CONTRIBUTING.md Tighten CI markdown policy 2026-05-22 15:10:30 +03:00
LICENSE Initial commit 2026-02-26 15:25:25 +01:00
README.md Tighten CI markdown policy 2026-05-22 15:10:30 +03:00
ROADMAP.md Tighten CI markdown policy 2026-05-22 15:10:30 +03:00
rustfmt.toml lib-sha2: drop unstable rustfmt options for stable toolchains 2026-03-23 10:19:55 +02:00
SECURITY.md Tighten CI markdown policy 2026-05-22 15:10:30 +03:00

lib-sha2

lib-sha2 provides shared sha2 primitives and contracts used by EriX components.

EriX is a clean-room, capability-based microkernel operating system written entirely in Rust.

Technical requirements are tracked in the EriX requirements, conventions, and project documentation.

See:

  • docs for design documents, specifications, and development plans.
  • Related architecture repositories for kernel, services, libraries, drivers, and integration tooling.

Purpose of This Repository

This repository implements the EriX SHA-2 library. Its purpose in EriX is to provide reusable SHA-2 primitives and contracts to EriX components.

Functionally, it exposes the SHA-2 APIs, validation tests, and documentation used by dependent repositories. The repository keeps the implementation, interface contracts, tests, and documentation for that behavior in one reviewable ownership boundary.

The maintained responsibilities are:

  • expose the lib-sha2 crate API for SHA-2 behavior used by dependent components
  • keep data formats, constants, and validation helpers documented and tested
  • preserve clean-room, no-external-crate implementation boundaries
  • maintain compatibility expectations for downstream repositories

Clean-Room Policy

EriX follows a strict clean-room philosophy:

  • No external source code may be copied.
  • No external Rust crates are allowed.
  • No code generation tools that embed third-party code.
  • All code must be authored within the project.

Violations will result in rejection of the contribution.

License

All EriX repositories are licensed under the ISC License.

Development Model

EriX development is modular, deterministic, reproducible, authority-explicit, security-first, and self-hosting oriented.

This repository follows the project roadmap and the validation rules documented in its own roadmap.

Status

Implemented baseline.

SHA-256 and SHA-512 one-shot/incremental APIs are available and covered by unit tests. Remaining work is hardening and expanded cross-repo regression coverage.

See ARCHITECTURE.md and ROADMAP.md.

Governance Principles

lib-sha2 governance is scoped to reusable SHA-2 contracts shared by dependent repositories.

The scoped governance rules are:

  • It must expose narrow, documented APIs rather than component-specific policy.
  • It keeps wire formats, constants, parsers, and validation helpers deterministic and testable.
  • It preserves clean-room implementation boundaries and does not introduce external crate dependencies.
  • Breaking API or format changes require coordinated updates in every dependent repository.

Library Boundaries

  • lib-sha2 carries no runtime authority by itself; authority is held by callers that use the library.
  • The crate must not hide ambient I/O, allocation policy, or service discovery behind helper APIs.

Contact

Development occurs in EriX organization and discussions happen in issues and design documents.

No decisions are considered valid without documented rationale.

Maintainers can be reached via email: admin@erikinkinen.fi.