issues
search
Consensys
/
DafnyCrypto
A cryptography library written in Dafny which focuses on SNARKs and related systems.
Apache License 2.0
4
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
prove LemmaPow in util/math.dfy
#20
gaxiiiiiiiiiiii
closed
8 months ago
1
18 implement polynomials + lagrange interpolation
#19
DavePearce
closed
1 year ago
0
Implement Polynomials + Lagrange Interpolation
#18
DavePearce
closed
1 year ago
0
Hash to Curve
#17
DavePearce
opened
1 year ago
0
Implement BLS signatures
#16
DavePearce
opened
1 year ago
0
Lagrange Polynomial
#15
DavePearce
closed
1 year ago
1
Implement Polynomial Commitements
#14
DavePearce
opened
1 year ago
0
Resolve issues with Merkle Commitments
#13
DavePearce
opened
1 year ago
1
8 implement merkle trees proofs
#12
DavePearce
closed
1 year ago
0
Implement BulletProof Commitments
#11
DavePearce
opened
1 year ago
0
Implement Verkle Primitives
#10
DavePearce
opened
1 year ago
1
8 implement merkle trees proofs
#9
DavePearce
closed
1 year ago
0
Implement `merkle` trees & proofs
#8
DavePearce
closed
1 year ago
0
Implement `alt_bn128` pairing primitive
#7
DavePearce
opened
1 year ago
0
Add `math_tests.dfy`
#6
DavePearce
closed
1 year ago
0
Pull in Tests from DafnyEvm
#5
DavePearce
closed
1 year ago
0
Various refactoring
#4
DavePearce
closed
1 year ago
0
Add CI pipeline
#3
DavePearce
opened
1 year ago
0
Add `build.gradle`
#2
DavePearce
opened
1 year ago
0
Strip down `Int` module
#1
DavePearce
closed
1 year ago
0