# SHA256

**Repository Path**: backbus/SHA256

## Basic Information

- **Project Name**: SHA256
- **Description**: SHA-256 implementation
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2021-04-30
- **Last Updated**: 2021-04-30

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# SHA256

SHA-256 implementation to compliment a portable byte-oriented AES-256 
implementation in C at http://www.literatecode.com/aes256 

There is also a newer version in the [mark2](mark2) directory. This version is
cleaner and closer to a reference implementation. It no longer has
built-in support features for endianness, but you may easily adapt
the code to different endianness shall you need that.

Unlike the previous implementation, the Mark 2 one is formally
verifiable with [CBMC](http://www.cprover.org/cbmc/)