Commits

History for

Commits on Aug 16, 2019

Start eth_sign implementation (#438)

gtrepta
authored and
dwightguth
committed

Commits on Aug 4, 2019

krypto.md: Description of input format. (#424)

denis-bogdanas
authored and
ehildenb
committed

Commits on Feb 12, 2018

Makefile, data.md, driver.md, evm.md, krypto.md, proofs/hkg.md, tangle.lua: refactor tangle script and add node target
Dwight Guth
committed

Commits on Feb 9, 2018

data.md, krypto.md: add previously autoincluded imports to k files
Dwight Guth
committed

Commits on Jan 30, 2018

*.md, Makefile, Build, {vm,blockchain}test: switch over to RVK
Dwight Guth
committed

Commits on Dec 21, 2017

krypto.md: formatting

Everett Hildenbrandt
authored and
dwightguth
committed
KRYPTO.ml, META, Makefile, krypto.md: add bn128 ecadd, ecmul, and ecpairing operations to KRYPTO module
Dwight Guth
committed

Commits on Oct 24, 2017

KRYPTO.ml, krypto.md: add RIPEMD160 and SHA2-256 to KRYPTO module
Dwight Guth
committed

Commits on Sep 11, 2017

KRYPTO.ml, META, Makefile, krypto.md, with-k: add ECDSARecover crypto function
Dwight Guth
committed

Commits on Aug 12, 2017

data.md, krypto.md: Both K_VERSION depend on separate krypto.k now
Everett Hildenbrandt - FSL-CI
committed

Commits on Jun 30, 2017

making pandoc-tangle aware of the version of K being built with
Everett Hildenbrandt
committed

Commits on Jun 27, 2017

Port Dwight's changes to the markdown files

nishantjr
authored and
ehildenb
committed

Loading