issues
search
toposware
/
certificate-stark
An example of state-transition AIR program backed by the winterfell library.
Apache License 2.0
3
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bind with old cheetah on winterfell
#23
Nashtare
closed
2 years ago
0
Adapt with latest winterfell changes
#22
Nashtare
closed
2 years ago
0
Update copyright for 2022
#21
Nashtare
closed
2 years ago
0
Add documentation for periodic values helper functions
#20
Nashtare
closed
2 years ago
1
Comments for stitch, fill and padd
#19
4l0n50
closed
2 years ago
1
Switch to use of empty Merkle tree
#18
baumbata
closed
2 years ago
0
Swap name and date in copyright mentions
#17
Nashtare
closed
2 years ago
0
OSS Release
#16
Nashtare
closed
2 years ago
0
Use mixed-addition for Schnorr scalar multiplication steps
#15
Nashtare
closed
2 years ago
0
Dependency problem with cheetah
#14
4l0n50
closed
2 years ago
2
Support insertion of new accounts in the state
#13
Nashtare
opened
2 years ago
0
Use full-depth tree
#12
Nashtare
closed
2 years ago
3
Use several Fp elements of hash digest for Schnorr scalar multiplication
#11
Nashtare
closed
2 years ago
1
Replace AIR base field and curve with Cheetah's
#10
Nashtare
closed
2 years ago
0
Implement in-circuit Schnorr signature verification aggregation
#9
Nashtare
opened
2 years ago
3
Use actual implementation of Rescue and Schnorr in the STF
#8
Nashtare
opened
2 years ago
1
XC transactions handling
#7
Nashtare
opened
2 years ago
0
Fee handling
#6
Nashtare
opened
2 years ago
1
Non-hashed Merkle tree leaves
#5
Nashtare
opened
2 years ago
0
Add benchmarks for AIR subprograms
#4
Nashtare
closed
2 years ago
1
Fix overflow issue of sigma when generating random transactions
#3
Nashtare
closed
2 years ago
0
Random wrong accumulated value for sigma
#2
Nashtare
closed
2 years ago
1
Random constraint degrees mismatch in AIR program
#1
Nashtare
opened
2 years ago
0