Code

Bitwise math#107

Code

Open

MicroProofs wants to merge 12 commits intomainaiken-lang/stdlib:mainfrom bitwise-mathaiken-lang/stdlib:bitwise-mathCopy head branch name to clipboard

+790-114

Commits

Commits on Feb 26, 2025

• its a start, would need a lot of work and use of fuzzy wuzzy

  

  logicalmechanism

  authored and

  MicroProofs

  committed
  491644f

  Copy full SHA for 491644f

• good start

  

  logicalmechanism

  authored and

  MicroProofs

  committed
  f17aeff

  Copy full SHA for f17aeff

• adding a pad addition function to prepad bytearrays if required

  

  logicalmechanism

  authored and

  MicroProofs

  committed
  9211756

  Copy full SHA for 9211756

• adding comments and adjusting naming

  

  logicalmechanism

  authored and

  MicroProofs

  committed
  233f9a0

  Copy full SHA for 233f9a0

• subtraction using the borrow method instead of 2s

  

  logicalmechanism

  authored and

  MicroProofs

  committed
  38d9045

  Copy full SHA for 38d9045

• multiplication is at most l1 + l2 bytes

  

  logicalmechanism

  authored and

  MicroProofs

  committed
  fde896f

  Copy full SHA for fde896f

• probably some faster way to do muliplication but this does do arbitrary values

  

  logicalmechanism

  authored and

  MicroProofs

  committed
  dc9c4db

  Copy full SHA for dc9c4db

• Try out a new interface for additional bitwise operations

  MicroProofs

  committed
  ec1fc88

  Copy full SHA for ec1fc88

• Update to use consts for performance

  MicroProofs

  committed
  9b563b1

  Copy full SHA for 9b563b1

• Add a few more functions

  MicroProofs

  committed
  f6f771d

  Copy full SHA for f6f771d

• Tweak interface to have separate files for different bytearray hash sizes

  MicroProofs

  committed
  a27c334

  Copy full SHA for a27c334

• Add docs and rework library to work for scalar

  MicroProofs

  committed
  d490eea

  Copy full SHA for d490eea