Commit Graph

  • 89679e2f05
    add missing LICENSE files main Balazs Komuves 2025-11-14 11:50:44 +01:00
  • fbe833d515
    update the Nim parser too Balazs Komuves 2025-11-13 20:11:31 +01:00
  • 1289d9b7ad
    update the Haskell parser to the format change in 94fc740080 Balazs Komuves 2025-11-13 19:47:36 +01:00
  • 355c67c1b4
    Merge 0e657724e577dbcd9bed198a1f25538245a8c555 into 2420269dc47ed2cdf376051976e7c61310f48c2c markspanbroek 2025-07-08 14:45:36 +02:00
  • 0e657724e5 fix: move nimble package to the root fix-nimble Mark Spanbroek 2025-07-08 14:45:08 +02:00
  • 1291cf0e62
    refactor: update function signatures to include raises annotations for better error handling integrate-with-codex Dmitriy Ryajov 2025-05-28 19:31:02 -06:00
  • f142321d7f
    License: MIT Signed-off-by: Dmitriy Ryajov <dryajov@gmail.com> Dmitriy Ryajov 2025-05-21 19:09:56 -06:00
  • 2420269dc4
    update the README Balazs Komuves 2025-03-18 17:25:06 +01:00
  • a597168daf
    add Pow operation Balazs Komuves 2025-03-18 12:52:54 +01:00
  • b8052dbf34
    update README Balazs Komuves 2025-03-18 12:52:32 +01:00
  • dfe5239fcb
    Haskell: minor refactoring to help debugging (by which I mean debugging the Nim one...) Balazs Komuves 2025-03-16 20:10:19 +01:00
  • 4651602cb6
    implement the Nim witness generator (some operations are missing, because... constantine) Balazs Komuves 2025-03-16 20:09:36 +01:00
  • b832b20442
    Nim: export witness file Balazs Komuves 2025-03-15 14:06:24 +01:00
  • ec327944e2
    Nim: parse the circuit input JSON files Balazs Komuves 2025-03-15 13:53:42 +01:00
  • 28b368d92a
    BN254 mini-lib (using constantine under the hood) Balazs Komuves 2025-03-15 13:53:11 +01:00
  • 51ada29712
    add some error messages when something goes wrong Balazs Komuves 2025-03-15 13:51:39 +01:00
  • 4a8f564ba9
    update Haskell to handle the "new" (previously missing from upstream) unary operations Balazs Komuves 2025-03-15 13:50:56 +01:00
  • 87316bb87b
    update messages.proto to reflect upstream improvement Balazs Komuves 2025-03-15 13:48:54 +01:00
  • 8fcef5c1c4
    export the witness (Haskell) Balazs Komuves 2025-03-14 17:24:05 +01:00
  • b7f036848d
    parse JSON input files (in Haskell) Balazs Komuves 2025-03-14 17:05:39 +01:00
  • 60b4d8d8f4
    update the readme Balazs Komuves 2025-03-14 12:29:39 +01:00
  • dcdfa24ca4
    put the haskell code under a subdirectory Balazs Komuves 2025-03-14 12:06:32 +01:00
  • 9a698aac30
    add Nim parser Balazs Komuves 2025-03-14 12:06:13 +01:00
  • 53582a45e4
    add the protobuf files from the iden3 repo for reference Balazs Komuves 2025-03-13 17:56:06 +01:00
  • de29a073da
    initial import the Haskell WIP code (parser + interpreter works on a simple example) Balazs Komuves 2025-03-13 17:55:37 +01:00
  • 0fc22c2a27 initial commit Balazs Komuves 2025-03-13 17:55:37 +01:00