Skip to content

Commit ae4f094

Browse files
KukovecKukovec
authored
Added Verilib validations (#742)
1 parent 151bdbc commit ae4f094

518 files changed

Lines changed: 2600 additions & 0 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.verilib/.gitignore‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
# Generated by VeriLib (not tracked)
2+
atoms.json
3+
specs.json
4+
stubs.json
5+
proofs.json

‎.verilib/certs/specs/probe%3Acurve25519%2Ddalek%2F4%2E1%2E3%2Fbackend%2Fget%5Fselected%5Fbackend%28%29.json‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"timestamp": "2026-02-24T15:28:08.729877Z"
3+
}

‎.verilib/certs/specs/probe%3Acurve25519%2Ddalek%2F4%2E1%2E3%2Fbackend%2Fpippenger%5Foptional%5Fmultiscalar%5Fmul%5Fverus%28%29.json‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"timestamp": "2026-02-24T15:28:08.730048Z"
3+
}

‎.verilib/certs/specs/probe%3Acurve25519%2Ddalek%2F4%2E1%2E3%2Fbackend%2Fstraus%5Fmultiscalar%5Fmul%5Fverus%28%29.json‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"timestamp": "2026-02-24T15:28:08.730125Z"
3+
}

‎.verilib/certs/specs/probe%3Acurve25519%2Ddalek%2F4%2E1%2E3%2Fbackend%2Fstraus%5Foptional%5Fmultiscalar%5Fmul%5Fverus%28%29.json‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"timestamp": "2026-02-24T15:28:08.730212Z"
3+
}

‎.verilib/certs/specs/probe%3Acurve25519%2Ddalek%2F4%2E1%2E3%2Fbackend%2Fvariable%5Fbase%5Fmul%28%29.json‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"timestamp": "2026-02-24T15:28:08.730280Z"
3+
}

‎.verilib/certs/specs/probe%3Acurve25519%2Ddalek%2F4%2E1%2E3%2Fbackend%2Fvartime%5Fdouble%5Fbase%5Fmul%28%29.json‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"timestamp": "2026-02-24T15:28:08.730343Z"
3+
}

‎.verilib/certs/specs/probe%3Acurve25519%2Ddalek%2F4%2E1%2E3%2Fcurve%5Fmodels%2Fserial%2Fbackend%2F%26AffineNielsPoint%23Neg%3CAffineNielsPoint%3E%23neg%28%29.json‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"timestamp": "2026-02-24T15:28:08.730409Z"
3+
}

‎.verilib/certs/specs/probe%3Acurve25519%2Ddalek%2F4%2E1%2E3%2Fcurve%5Fmodels%2Fserial%2Fbackend%2F%26CompletedPoint%23CompletedPoint%3CEdwardsPoint%3E%23as%5Fextended%28%29.json‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"timestamp": "2026-02-24T15:28:08.731016Z"
3+
}

‎.verilib/certs/specs/probe%3Acurve25519%2Ddalek%2F4%2E1%2E3%2Fcurve%5Fmodels%2Fserial%2Fbackend%2F%26CompletedPoint%23CompletedPoint%3CProjectivePoint%3E%23as%5Fprojective%28%29.json‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
{
2+
"timestamp": "2026-02-24T15:28:08.731081Z"
3+
}

0 commit comments

Comments
 (0)