Code

Ovn smart contract example#16

Code

Draft

cmester0 wants to merge 85 commits intohacspec:mainhacspec/specs:mainfrom cmester0:ovncmester0/specs:ovnCopy head branch name to clipboard

+33,103-8

Commits

Commits on Jun 28, 2023

• Ovn init

  cmester0

  committed
  e1ddf8f

Commits on Jul 18, 2023

• OVN files

  cmester0

  committed
  5e5a6af

Commits on Jul 19, 2023

• More ovn

  cmester0

  committed
  6a4d286

Commits on Jul 27, 2023

• Initial semi-working ovn

  cmester0

  committed
  2c850ed

• Start of equivalence proof

  cmester0

  committed
  5852a82

Commits on Jul 28, 2023

• Working on EQ proof

  cmester0

  committed
  28cf6ac

Commits on Aug 14, 2023

• OVN_template

  cmester0

  committed
  412b18f

Commits on Aug 18, 2023

• Update template

  cmester0

  committed
  ea8fb48

Commits on Aug 21, 2023

• Update

  cmester0

  committed
  4854f9d

• Update

  cmester0

  committed
  1a3ce94

• Cleanup

  cmester0

  committed
  b8d4495

• ovn_template with tests

  cmester0

  committed
  4c19547

Commits on Aug 22, 2023

• Smart contract version of OVN

  cmester0

  committed
  f23a656

• Smart contract version of OVN

  cmester0

  committed
  bbcbe8a

• Smart contract version of OVN

  cmester0

  committed
  1732675

Commits on Aug 23, 2023

• Fixed based on feedback

  cmester0

  committed
  6482830

• Fixed based on feedback

  cmester0

  committed
  dd432ad

• Add concordium execution impl in hacspec

  cmester0

  committed
  3df7148

• Working modification on concordium

  cmester0

  committed
  9525a61

Commits on Sep 15, 2023

• Almost there

  cmester0

  committed
  20787d5

Commits on Sep 20, 2023

• Contract type defined

  cmester0

  committed
  1de6825

Commits on Sep 27, 2023

• Better ovn

  cmester0

  committed
  7631e42

Commits on Sep 28, 2023

• Working contract state

  cmester0

  committed
  6845d54

Commits on Oct 3, 2023

• Parse more of ovn

  cmester0

  committed
  df7a6e5

Commits on Oct 10, 2023

• Few admits for serialization left

  cmester0

  committed
  a1e12d8

• Removed some admits

  cmester0

  committed
  47f7f5e

Commits on Oct 11, 2023

• Cleanup

  cmester0

  committed
  01f7b81

• Cleanup

  cmester0

  committed
  fd7823e

• Cleanup

  cmester0

  committed
  b11332d

• Cleanup

  cmester0

  committed
  c4d8844

Commits on Nov 24, 2023

• WIP

  cmester0

  committed
  2c4d8a3

• A bit of Cleanup

  cmester0

  committed
  6f3eacf

• Cleaup

  cmester0

  committed
  917689b

• Cleaup

  cmester0

  committed
  11b0ac8

• Cleaup

  cmester0

  committed
  a45e0d3

Commits on Nov 27, 2023

• Cleanup Cargo.toml

  cmester0

  committed
  aa6ea89

Commits on Jan 10, 2024

• Update

  cmester0

  committed
  90dc9b7

Commits on Jan 22, 2024

• WIP, full OVN artifact

  cmester0

  committed
  5637f11

• WIP, full OVN artifact

  cmester0

  committed
  ec0b459

• WIP, full OVN artifact

  cmester0

  committed
  b3a569a

Commits on Jan 24, 2024

• ZKPs

  cmester0

  committed
  c58b1df

• WIP: BLS12-381 instantiation

  cmester0

  committed
  59fd73f

• Valid test failing

  cmester0

  committed
  2844150

• Not working :(

  cmester0

  committed
  6fe2cd0

Commits on Jan 25, 2024

• Semi workin one-out-of-two

  cmester0

  committed
  f5896b9

Commits on Jan 26, 2024

• Working OVN?

  cmester0

  committed
  ee56091

• Add commitment and use z_89 instead of z_17

  cmester0

  committed
  aeb4420

• WIP: Cleanup

  cmester0

  committed
  38a6c03

• Cleaned testing, and added secp256k1 (missing inv operation) for testing

  cmester0

  committed
  00ae081

• Full group ovn extraction to Hacspec_ovn

  cmester0

  committed
  29e9ade

• Fix generation by hand for now

  cmester0

  committed
  87461b6

• WIP

  cmester0

  committed
  fe1e217

Commits on Jan 29, 2024

• WIP fixing coq generation

  cmester0

  committed
  6a624f4

• WIP fixing coq generation and cleanup

  cmester0

  committed
  fdbcfbb

Commits on Jan 31, 2024

• WIP by hand

  cmester0

  committed
  72a06f4

Commits on Feb 4, 2024

• Better extraction?

  cmester0

  committed
  1167a1b

Commits on Feb 10, 2024

• Update to Coq.8.18.0

  cmester0

  committed
  c219c15

Commits on Feb 14, 2024

• WIP ovn

  cmester0

  committed
  9e421eb

Commits on Feb 15, 2024

• WIP

  cmester0

  committed
  f7fa611

• WIP

  cmester0

  committed
  2ba94ee

Commits on Feb 19, 2024

• No location OVN

  cmester0

  committed
  ea59ddb

• Close to done

  cmester0

  committed
  b6551b0

• Working contract for ovn

  cmester0

  committed
  29698ab

Commits on Mar 5, 2024

• No group

  cmester0

  committed
  21798d0

• WIP

  cmester0

  committed
  8d500d1

• Working with Hax/ssprove_backend_lib

  cmester0

  committed
  ff88701

• Working with Hax/ssprove_backend_lib: fix serializable

  cmester0

  committed
  303228a

• Cleanup by adding Context

  cmester0

  committed
  4a1c48d

• No more admits

  cmester0

  committed
  4feb726

Commits on Mar 12, 2024

• Update ovn

  cmester0

  committed
  96673f8

• Chnages

  cmester0

  committed
  80d2a35

• adding zkgroup trait

  cmester0

  committed
  1b6245b

• Restructure ovn

  cmester0

  committed
  bf67e20

• Fix use of (multiplicative) group opration, instead of assuming field

  cmester0

  committed
  fbe1cd9

• Start of testing with real trait

  cmester0

  committed
  f63a107

Commits on Mar 13, 2024

• Working tests

  cmester0

  committed
  9297f11

• Full test

  cmester0

  committed
  971717b

Commits on Mar 14, 2024

• Working test

  cmester0

  committed
  7047ec9

• Works on zk

  cmester0

  committed
  5ec5a9f

Commits on Mar 17, 2024

• Working with external group impls

  cmester0

  committed
  de92295

• Revert serialization

  cmester0

  committed
  3e237cb

Commits on Apr 24, 2024

• Back to working, with better group trait

  cmester0

  committed
  2c3e56e

Commits on Jul 4, 2024

• Update randomness

  cmester0

  committed
  535b234

Commits on Sep 16, 2024

• Use Add,Mul and Neg notations

  cmester0

  committed
  57b5d50

• Remove operation type comments

  cmester0

  committed
  b243af5