Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
86 commits
Select commit Hold shift + click to select a range
e1ddf8f
Ovn init
cmester0 Jun 28, 2023
5e5a6af
OVN files
cmester0 Jul 18, 2023
6a4d286
More ovn
cmester0 Jul 19, 2023
2c850ed
Initial semi-working ovn
cmester0 Jul 27, 2023
5852a82
Start of equivalence proof
cmester0 Jul 27, 2023
28cf6ac
Working on EQ proof
cmester0 Jul 28, 2023
412b18f
OVN_template
cmester0 Aug 14, 2023
ea8fb48
Update template
cmester0 Aug 18, 2023
4854f9d
Update
cmester0 Aug 21, 2023
1a3ce94
Update
cmester0 Aug 21, 2023
b8d4495
Cleanup
cmester0 Aug 21, 2023
4c19547
ovn_template with tests
cmester0 Aug 21, 2023
f23a656
Smart contract version of OVN
cmester0 Aug 22, 2023
bbcbe8a
Smart contract version of OVN
cmester0 Aug 22, 2023
1732675
Smart contract version of OVN
cmester0 Aug 22, 2023
6482830
Fixed based on feedback
cmester0 Aug 23, 2023
dd432ad
Fixed based on feedback
cmester0 Aug 23, 2023
3df7148
Add concordium execution impl in hacspec
cmester0 Aug 23, 2023
9525a61
Working modification on concordium
cmester0 Aug 23, 2023
20787d5
Almost there
cmester0 Sep 15, 2023
1de6825
Contract type defined
cmester0 Sep 20, 2023
7631e42
Better ovn
cmester0 Sep 27, 2023
6845d54
Working contract state
cmester0 Sep 28, 2023
df7a6e5
Parse more of ovn
cmester0 Oct 3, 2023
a1e12d8
Few admits for serialization left
cmester0 Oct 10, 2023
47f7f5e
Removed some admits
cmester0 Oct 10, 2023
01f7b81
Cleanup
cmester0 Oct 11, 2023
fd7823e
Cleanup
cmester0 Oct 11, 2023
b11332d
Cleanup
cmester0 Oct 11, 2023
c4d8844
Cleanup
cmester0 Oct 11, 2023
2c4d8a3
WIP
cmester0 Nov 24, 2023
6f3eacf
A bit of Cleanup
cmester0 Nov 24, 2023
917689b
Cleaup
cmester0 Nov 24, 2023
11b0ac8
Cleaup
cmester0 Nov 24, 2023
a45e0d3
Cleaup
cmester0 Nov 24, 2023
aa6ea89
Cleanup Cargo.toml
cmester0 Nov 27, 2023
90dc9b7
Update
cmester0 Jan 10, 2024
5637f11
WIP, full OVN artifact
cmester0 Jan 22, 2024
ec0b459
WIP, full OVN artifact
cmester0 Jan 22, 2024
b3a569a
WIP, full OVN artifact
cmester0 Jan 22, 2024
c58b1df
ZKPs
cmester0 Jan 24, 2024
59fd73f
WIP: BLS12-381 instantiation
cmester0 Jan 24, 2024
2844150
Valid test failing
cmester0 Jan 24, 2024
6fe2cd0
Not working :(
cmester0 Jan 24, 2024
f5896b9
Semi workin one-out-of-two
cmester0 Jan 25, 2024
ee56091
Working OVN?
cmester0 Jan 26, 2024
aeb4420
Add commitment and use z_89 instead of z_17
cmester0 Jan 26, 2024
38a6c03
WIP: Cleanup
cmester0 Jan 26, 2024
00ae081
Cleaned testing, and added secp256k1 (missing inv operation) for testing
cmester0 Jan 26, 2024
29e9ade
Full group ovn extraction to Hacspec_ovn
cmester0 Jan 26, 2024
87461b6
Fix generation by hand for now
cmester0 Jan 26, 2024
fe1e217
WIP
cmester0 Jan 26, 2024
6a624f4
WIP fixing coq generation
cmester0 Jan 29, 2024
fdbcfbb
WIP fixing coq generation and cleanup
cmester0 Jan 29, 2024
72a06f4
WIP by hand
cmester0 Jan 31, 2024
1167a1b
Better extraction?
cmester0 Feb 4, 2024
c219c15
Update to Coq.8.18.0
cmester0 Feb 10, 2024
9e421eb
WIP ovn
cmester0 Feb 14, 2024
f7fa611
WIP
cmester0 Feb 15, 2024
2ba94ee
WIP
cmester0 Feb 15, 2024
ea59ddb
No location OVN
cmester0 Feb 19, 2024
b6551b0
Close to done
cmester0 Feb 19, 2024
29698ab
Working contract for ovn
cmester0 Feb 19, 2024
21798d0
No group
cmester0 Mar 5, 2024
8d500d1
WIP
cmester0 Mar 5, 2024
ff88701
Working with Hax/ssprove_backend_lib
cmester0 Mar 5, 2024
303228a
Working with Hax/ssprove_backend_lib: fix serializable
cmester0 Mar 5, 2024
4a1c48d
Cleanup by adding Context
cmester0 Mar 5, 2024
4feb726
No more admits
cmester0 Mar 5, 2024
96673f8
Update ovn
cmester0 Mar 12, 2024
80d2a35
Chnages
cmester0 Mar 12, 2024
1b6245b
adding zkgroup trait
cmester0 Mar 12, 2024
bf67e20
Restructure ovn
cmester0 Mar 12, 2024
fbe1cd9
Fix use of (multiplicative) group opration, instead of assuming field
cmester0 Mar 12, 2024
f63a107
Start of testing with real trait
cmester0 Mar 12, 2024
9297f11
Working tests
cmester0 Mar 13, 2024
971717b
Full test
cmester0 Mar 13, 2024
7047ec9
Working test
cmester0 Mar 14, 2024
5ec5a9f
Works on zk
cmester0 Mar 14, 2024
de92295
Working with external group impls
cmester0 Mar 17, 2024
3e237cb
Revert serialization
cmester0 Mar 17, 2024
2c3e56e
Back to working, with better group trait
cmester0 Apr 24, 2024
535b234
Update randomness
cmester0 Jul 4, 2024
57b5d50
Use Add,Mul and Neg notations
cmester0 Sep 16, 2024
b243af5
Remove operation type comments
cmester0 Sep 16, 2024
9fb06c9
Update
cmester0 Feb 11, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -23,4 +23,8 @@ members = [
"pasta",
"halo2",
"weierstrass-curves",
"ovn",
"auction",
"concordium",
"concordium-derive",
]
Loading
Loading