From a20736b332df369248a733a706cea5da96f716f8 Mon Sep 17 00:00:00 2001 From: tema5002 Date: Mon, 18 May 2026 13:09:24 +0300 Subject: [PATCH] separate sha256 to library and program --- argentum.cfg | 13 +- libsha256/halyde/lib/sha256.lua | 174 ++++++++++++++++++++++ sha256sum/halyde/apps/sha256sum.lua | 214 +++++----------------------- 3 files changed, 221 insertions(+), 180 deletions(-) create mode 100644 libsha256/halyde/lib/sha256.lua diff --git a/argentum.cfg b/argentum.cfg index a999237..5fba1fe 100644 --- a/argentum.cfg +++ b/argentum.cfg @@ -1,8 +1,19 @@ local agcfg = { + ["libsha256"] = { + ["maindir"] = "libsha256/", + ["version"] = "1.0.0", + ["description"] = "Library to compute SHA-256 hash of a file", + ["files"] = { + "halyde/lib/sha256.lua" + } + }, ["sha256sum"] = { ["maindir"] = "sha256sum/", ["version"] = "1.0.1", - ["description"] = "Compute SHA-256 hash of a file", + ["description"] = "User program to compute SHA-256 hash of a file", + ["dependencies"] = { + "libsha256" + }, ["files"] = { "halyde/apps/sha256sum.lua", "halyde/apps/helpdb/sha256sum.txt" diff --git a/libsha256/halyde/lib/sha256.lua b/libsha256/halyde/lib/sha256.lua new file mode 100644 index 0000000..0d67974 --- /dev/null +++ b/libsha256/halyde/lib/sha256.lua @@ -0,0 +1,174 @@ +--[[ + [[ SHA-256 library for Halyde + [[ Copyright (C) 2026 tema5002 + [[ + [[ This library is free software; you can redistribute it and/or + [[ modify it under the terms of the GNU Library General Public + [[ License as published by the Free Software Foundation; either + [[ version 2 of the License, or (at your option) any later version. + [[ + [[ This library is distributed in the hope that it will be useful, + [[ but WITHOUT ANY WARRANTY; without even the implied warranty of + [[ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + [[ Library General Public License for more details. + [[ + [[ You should have received a copy of the GNU Library General Public + [[ License along with this library; if not, see . + ]]-- + +local sha256 = {} + +local k = { + 0x428a2f98,0x71374491,0xb5c0fbcf,0xe9b5dba5,0x3956c25b,0x59f111f1,0x923f82a4,0xab1c5ed5, + 0xd807aa98,0x12835b01,0x243185be,0x550c7dc3,0x72be5d74,0x80deb1fe,0x9bdc06a7,0xc19bf174, + 0xe49b69c1,0xefbe4786,0x0fc19dc6,0x240ca1cc,0x2de92c6f,0x4a7484aa,0x5cb0a9dc,0x76f988da, + 0x983e5152,0xa831c66d,0xb00327c8,0xbf597fc7,0xc6e00bf3,0xd5a79147,0x06ca6351,0x14292967, + 0x27b70a85,0x2e1b2138,0x4d2c6dfc,0x53380d13,0x650a7354,0x766a0abb,0x81c2c92e,0x92722c85, + 0xa2bfe8a1,0xa81a664b,0xc24b8b70,0xc76c51a3,0xd192e819,0xd6990624,0xf40e3585,0x106aa070, + 0x19a4c116,0x1e376c08,0x2748774c,0x34b0bcb5,0x391c0cb3,0x4ed8aa4a,0x5b9cca4f,0x682e6ff3, + 0x748f82ee,0x78a5636f,0x84c87814,0x8cc70208,0x90befffa,0xa4506ceb,0xbef9a3f7,0xc67178f2 +} + + +local function ROTRIGHT(a, b) return ((a >> b) | (a << (32 - b))) & 0xFFFFFFFF end +local function CH(x, y, z) return ((x & y) ~ ((~x) & z)) & 0xFFFFFFFF end +local function MAJ(x, y, z) return ((x & y) ~ (x & z) ~ (y & z)) & 0xFFFFFFFF end +local function EP0(x) return (ROTRIGHT(x, 2) ~ ROTRIGHT(x, 13) ~ ROTRIGHT(x, 22)) & 0xFFFFFFFF end +local function EP1(x) return (ROTRIGHT(x, 6) ~ ROTRIGHT(x, 11) ~ ROTRIGHT(x, 25)) & 0xFFFFFFFF end +local function SIG0(x) return (ROTRIGHT(x, 7) ~ ROTRIGHT(x, 18) ~ (x >> 3)) & 0xFFFFFFFF end +local function SIG1(x) return (ROTRIGHT(x, 17) ~ ROTRIGHT(x, 19) ~ (x >> 10)) & 0xFFFFFFFF end + +local function sha256_transform(state, data) + -- m = uint32_t[64] + local m = {} + + -- convert to 32 bit BE words + for i = 1, 16 do + local j = (i - 1) * 4 + 1 + m[i] = (data[j] << 24) | (data[j+1] << 16) | (data[j+2] << 8) | data[j+3] + end + + for i = 17, 64 do + m[i] = (SIG1(m[i-2]) + m[i-7] + SIG0(m[i-15]) + m[i-16]) & 0xFFFFFFFF + end + + local a, b, c, d, e, f, g, h = table.unpack(state) + + for i = 1, 64 do + local t1 = (h + EP1(e) + CH(e,f,g) + k[i] + m[i]) & 0xFFFFFFFF + local t2 = (EP0(a) + MAJ(a,b,c)) & 0xFFFFFFFF + h, g, f, e, d, c, b, a = g, f, e, (d+t1)&0xFFFFFFFF, c, b, a, (t1+t2)&0xFFFFFFFF + end + + state[1] = (state[1] + a) & 0xFFFFFFFF + state[2] = (state[2] + b) & 0xFFFFFFFF + state[3] = (state[3] + c) & 0xFFFFFFFF + state[4] = (state[4] + d) & 0xFFFFFFFF + state[5] = (state[5] + e) & 0xFFFFFFFF + state[6] = (state[6] + f) & 0xFFFFFFFF + state[7] = (state[7] + g) & 0xFFFFFFFF + state[8] = (state[8] + h) & 0xFFFFFFFF +end + +function sha256.init() + return { + state = { + 0x6a09e667, + 0xbb67ae85, + 0x3c6ef372, + 0xa54ff53a, + 0x510e527f, + 0x9b05688c, + 0x1f83d9ab, + 0x5be0cd19 + }, + buffer = {}, + buffer_len = 0, + total_bits = 0 + } +end + +function sha256.update(ctx, data) + if type(data) ~= "string" then + error("sha256.update expects string of bytes") + end + + for i = 1, #data do + local byte = string.byte(data, i) + ctx.buffer[ctx.buffer_len + 1] = byte + ctx.buffer_len = ctx.buffer_len + 1 + + if ctx.buffer_len == 64 then + sha256_transform(ctx.state, ctx.buffer) + ctx.total_bits = ctx.total_bits + 512 + ctx.buffer_len = 0 + ctx.buffer = {} + end + end +end + +function sha256.final(ctx) + local bitlen = ctx.total_bits + (ctx.buffer_len * 8) + local i = ctx.buffer_len + 1 + + if ctx.buffer_len <= 55 then + ctx.buffer[i] = 0x80 + for j = i + 1, 56 do + ctx.buffer[j] = 0x00 + end + else + ctx.buffer[i] = 0x80 + for j = i + 1, 64 do + ctx.buffer[j] = 0x00 + end + sha256_transform(ctx.state, ctx.buffer) + for j = 1, 56 do + ctx.buffer[j] = 0x00 + end + end + + ctx.buffer[57] = (bitlen >> 56) & 0xFF + ctx.buffer[58] = (bitlen >> 48) & 0xFF + ctx.buffer[59] = (bitlen >> 40) & 0xFF + ctx.buffer[60] = (bitlen >> 32) & 0xFF + ctx.buffer[61] = (bitlen >> 24) & 0xFF + ctx.buffer[62] = (bitlen >> 16) & 0xFF + ctx.buffer[63] = (bitlen >> 8) & 0xFF + ctx.buffer[64] = bitlen & 0xFF + + sha256_transform(ctx.state, ctx.buffer) + local result = {} + for i = 0, 31 do + result[i + 1] = (ctx.state[i//4 + 1] >> (24 - (i % 4) * 8)) & 0xFF + end + + return result +end + +function sha256.hash(data) + local ctx = sha256.init() + sha256.update(ctx, data) + return sha256.final(ctx) +end + +function sha256.to_hex(hash_bytes) + local hex = {} + for i = 1, #hash_bytes do + hex[i] = string.format("%02x", hash_bytes[i]) + end + return table.concat(hex) +end + +function sha256.from_hex(hex_str) + if #hex_str ~= 64 then + error("Invalid hex string length, expected 64 characters") + end + local bytes = {} + for i = 1, 64, 2 do + bytes[(i+1)/2] = tonumber(hex_str:sub(i, i+1), 16) + end + return bytes +end + +return sha256 + diff --git a/sha256sum/halyde/apps/sha256sum.lua b/sha256sum/halyde/apps/sha256sum.lua index 5f2347f..8164e0e 100644 --- a/sha256sum/halyde/apps/sha256sum.lua +++ b/sha256sum/halyde/apps/sha256sum.lua @@ -1,190 +1,46 @@ --- circular shift -local function ROTRIGHT(a, b) - return ((a >> b) | (a << (32 - b))) & 0xFFFFFFFF -end - --- choose -local function CH(x, y, z) - return ((x & y) ~ ((~x) & z)) & 0xFFFFFFFF -end - --- majority -local function MAJ(x, y, z) - return ((x & y) ~ (x & z) ~ (y & z)) & 0xFFFFFFFF -end - --- Sigma0 (uppercase sigma) -local function EP0(x) - return (ROTRIGHT(x, 2) ~ ROTRIGHT(x, 13) ~ ROTRIGHT(x, 22)) & 0xFFFFFFFF -end - --- Sigma1 (uppercase sigma) -local function EP1(x) - return (ROTRIGHT(x, 6) ~ ROTRIGHT(x, 11) ~ ROTRIGHT(x, 25)) & 0xFFFFFFFF -end - --- sigma0 (lowercase sigma) -local function SIG0(x) - return (ROTRIGHT(x, 7) ~ ROTRIGHT(x, 18) ~ (x >> 3)) & 0xFFFFFFFF -end - --- sigma1 (lowercase sigma) -local function SIG1(x) - return (ROTRIGHT(x, 17) ~ ROTRIGHT(x, 19) ~ (x >> 10)) & 0xFFFFFFFF -end - -local function sha256_transform(state, data) - local k = { - 0x428a2f98,0x71374491,0xb5c0fbcf,0xe9b5dba5,0x3956c25b,0x59f111f1,0x923f82a4,0xab1c5ed5, - 0xd807aa98,0x12835b01,0x243185be,0x550c7dc3,0x72be5d74,0x80deb1fe,0x9bdc06a7,0xc19bf174, - 0xe49b69c1,0xefbe4786,0x0fc19dc6,0x240ca1cc,0x2de92c6f,0x4a7484aa,0x5cb0a9dc,0x76f988da, - 0x983e5152,0xa831c66d,0xb00327c8,0xbf597fc7,0xc6e00bf3,0xd5a79147,0x06ca6351,0x14292967, - 0x27b70a85,0x2e1b2138,0x4d2c6dfc,0x53380d13,0x650a7354,0x766a0abb,0x81c2c92e,0x92722c85, - 0xa2bfe8a1,0xa81a664b,0xc24b8b70,0xc76c51a3,0xd192e819,0xd6990624,0xf40e3585,0x106aa070, - 0x19a4c116,0x1e376c08,0x2748774c,0x34b0bcb5,0x391c0cb3,0x4ed8aa4a,0x5b9cca4f,0x682e6ff3, - 0x748f82ee,0x78a5636f,0x84c87814,0x8cc70208,0x90befffa,0xa4506ceb,0xbef9a3f7,0xc67178f2 - } - - -- m = uint32_t[64] - local m = {} - - -- convert to 32 bit BE words - for i = 1, 16 do - local j = (i - 1) * 4 + 1 - m[i] = (data[j] << 24) | (data[j+1] << 16) | (data[j+2] << 8) | data[j+3] - end - - for i = 17, 64 do - m[i] = (SIG1(m[i-2]) + m[i-7] + SIG0(m[i-15]) + m[i-16]) & 0xFFFFFFFF - end - - local a = state[1] - local b = state[2] - local c = state[3] - local d = state[4] - local e = state[5] - local f = state[6] - local g = state[7] - local h = state[8] - - for i = 1, 64 do - local t1 = (h + EP1(e) + CH(e, f, g) + k[i] + m[i]) & 0xFFFFFFFF - local t2 = (EP0(a) + MAJ(a, b, c)) & 0xFFFFFFFF - h = g - g = f - f = e - e = (d + t1) & 0xFFFFFFFF - d = c - c = b - b = a - a = (t1 + t2) & 0xFFFFFFFF - end - - state[1] = (state[1] + a) & 0xFFFFFFFF - state[2] = (state[2] + b) & 0xFFFFFFFF - state[3] = (state[3] + c) & 0xFFFFFFFF - state[4] = (state[4] + d) & 0xFFFFFFFF - state[5] = (state[5] + e) & 0xFFFFFFFF - state[6] = (state[6] + f) & 0xFFFFFFFF - state[7] = (state[7] + g) & 0xFFFFFFFF - state[8] = (state[8] + h) & 0xFFFFFFFF -end +--[[ + [[ User program to compute SHA-256 hashes of files for Halude + [[ Copyright (C) 2026 tema5002 + [[ + [[ This program is free software; you can redistribute it and/or + [[ modify it under the terms of the GNU General Public License + [[ as published by the Free Software Foundation; either version 2 + [[ of the License, or (at your option) any later version. + [[ + [[ This program is distributed in the hope that it will be useful, + [[ but WITHOUT ANY WARRANTY; without even the implied warranty of + [[ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + [[ GNU General Public License for more details. + [[ + [[ You should have received a copy of the GNU General Public License + [[ along with this program; If not, see . + ]]-- local files = {...} +local sha256 = import("sha256") local fs = import("filesystem") if not files or not files[1] then - shell.run("help sha256sum") - return + shell.run("help sha256sum") + return end for _, file in ipairs(files) do - if file:sub(1, 1) ~= "/" then - file = fs.concat(shell.workingDirectory, file) - end - if not fs.exists(file) then - print("\27[91mFile does not exist.") - goto continue - end - local handle = fs.open(file, "r") - - local data = {} - - local state = { - 0x6a09e667, - 0xbb67ae85, - 0x3c6ef372, - 0xa54ff53a, - 0x510e527f, - 0x9b05688c, - 0x1f83d9ab, - 0x5be0cd19 - } - - local datalen = 1 - local bitlen = 0 - - while true do - local chunk = handle:read(256) - if not chunk then break end - - for i = 1, #chunk do - local byte = string.byte(chunk, i) - data[datalen] = byte - datalen = datalen + 1 - if (datalen == 65) then - sha256_transform(state, data) - bitlen = bitlen + 512 - datalen = 1 - end + if file:sub(1, 1) ~= "/" then + file = fs.concat(shell.workingDirectory, file) end - end - - local i = datalen - if datalen <= 56 then - data[i] = 0x80 - i = i + 1 - while i <= 56 do - data[i] = 0x00 - i = i + 1 + if not fs.exists(file) then + print("\27[91mFile does not exist.") + goto continue end - else - data[i] = 0x80 - i = i + 1 - while i <= 64 do - data[i] = 0x00 - i = i + 1 + local handle = fs.open(file, "r") + local ctx = sha256.init() + while true do + local chunk = handle:read(256) + if not chunk then break end + sha256.update(ctx, chunk) end - sha256_transform(state, data) - for i = 1, 56 do - data[i] = 0x00 - end - end - - bitlen = bitlen + (datalen - 1) * 8 - data[64] = (bitlen) & 0x000000ff - data[63] = (bitlen >> 8) & 0x000000ff - data[62] = (bitlen >> 16) & 0x000000ff - data[61] = (bitlen >> 24) & 0x000000ff - data[60] = (bitlen >> 32) & 0x000000ff - data[59] = (bitlen >> 40) & 0x000000ff - data[58] = (bitlen >> 48) & 0x000000ff - data[57] = (bitlen >> 56) & 0x000000ff - sha256_transform(state, data) - local hash_parts = {} - for i = 0, 3 do - hash_parts[i + 1] = (state[1] >> (24 - i * 8)) & 0x000000ff - hash_parts[i + 4 + 1] = (state[2] >> (24 - i * 8)) & 0x000000ff - hash_parts[i + 8 + 1] = (state[3] >> (24 - i * 8)) & 0x000000ff - hash_parts[i + 12 + 1] = (state[4] >> (24 - i * 8)) & 0x000000ff - hash_parts[i + 16 + 1] = (state[5] >> (24 - i * 8)) & 0x000000ff - hash_parts[i + 20 + 1] = (state[6] >> (24 - i * 8)) & 0x000000ff - hash_parts[i + 24 + 1] = (state[7] >> (24 - i * 8)) & 0x000000ff - hash_parts[i + 28 + 1] = (state[8] >> (24 - i * 8)) & 0x000000ff - end - local hash = {} - for i = 1, 32 do - hash[i] = string.format("%02x", hash_parts[i]) - end - termlib.write(table.concat(hash).." "..file.."\n") - ::continue:: + handle:close() + local hash_bytes = sha256.final(ctx) + termlib.write(sha256.to_hex(hash_bytes).." "..file.."\n") + ::continue:: end