Code

Ecall demo with Keccak-f#717

Code

Open

naure wants to merge 20 commits intoscroll-tech:masterscroll-tech/ceno:masterfrom Inversed-Tech:ecall-keccakInversed-Tech/ceno:ecall-keccakCopy head branch name to clipboard

+326-15

Commits

Commits on Dec 5, 2024

• ecall-keccak: introduce syscall handlers and SyscallEvent

  

  Aurélien Nicolas

  committed
  fa5afc8

• ecall-keccak: support return value

  

  Aurélien Nicolas

  committed
  31760af

• ecall-keccak: support next_pc

  

  Aurélien Nicolas

  committed
  60da95c

Commits on Dec 9, 2024

• ecall-keccak: Compute actual Keccak-f

  

  Aurélien Nicolas

  committed
  206f1dd

• ecall-keccak: test actual Keccak computation

  

  Aurélien Nicolas

  committed
  1cf67b2

• ecall-keccak: rename

  

  Aurélien Nicolas

  committed
  762bb5d

• ecall-keccak: move syscall to ceno_rt

  

  Aurélien Nicolas

  committed
  8adf100

• Merge branch 'master' into ecall-keccak

  

  Aurélien Nicolas

  committed
  44972e1

• ecall-keccak: test memory records

  

  Aurélien Nicolas

  committed
  d854fa5

Commits on Dec 10, 2024

• ecall-keccak: reorganize ecall cases

  

  Aurélien Nicolas

  committed
  5be0bc1

• ecall-keccak: move register accesses to syscall module

  

  Aurélien Nicolas

  committed
  241452b

• ecall-keccak: encapsulate construction details

  

  Aurélien Nicolas

  committed
  62737a3

• ecall-keccak: move Keccak to its own module

  

  Aurélien Nicolas

  committed
  e987066

• Merge branch 'master' into ecall-keccak

  

  Aurélien Nicolas

  committed
  800322e

Commits on Dec 11, 2024

• Merge branch 'master' into ecall-keccak

  

  Aurélien Nicolas

  committed
  f3562be

• Merge branch 'master' into ecall-keccak

  naure

  authored
  5444cb8

• Merge branch 'ecall-keccak' of github.com:Inversed-Tech/ceno into ecall-keccak

  

  Aurélien Nicolas

  committed
  4536fc4

Commits on Dec 13, 2024

• ecall-keccak: for_each to for

  

  Aurélien Nicolas

  committed
  f88cf8e

• Merge branch 'master' into ecall-keccak

  

  Aurélien Nicolas

  committed
  1a8bf47

• ecall-keccak: add reference

  

  Aurélien Nicolas

  committed
  ff9bf41