issues
search
NilFoundation
/
mina-state-proof
In-EVM Mina State Verification
Apache License 2.0
82
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Scalar Multiplication description updated with range checks.
#53
Shatooon
closed
1 year ago
0
Update evm-state
#52
Zerg1996
closed
1 year ago
0
Circuit serialization init
#51
Zerg1996
closed
1 year ago
0
Implement json circuit description and public input
#50
Zerg1996
closed
1 year ago
0
Workflow for a proof market interaction
#49
SK0M0R0H
closed
1 year ago
0
Create LICENSE
#48
nemothenoone
closed
2 years ago
0
Is aux-proof-verify implemented in Solidity yet?
#45
xhliu
closed
2 years ago
2
Implement Huff usage to reduce verification cost
#44
wanghs09
opened
2 years ago
2
State proof sequence maintenance
#43
nemothenoone
closed
1 year ago
0
Update In-EVM FRI verification
#41
nemothenoone
closed
2 years ago
1
Transcript implementation updated
#40
nemothenoone
closed
2 years ago
0
Update transcript scheme
#39
ilyas675
closed
2 years ago
0
[Question] Mina SNARK verification cost on Ethereum
#36
lampardlamps
closed
2 years ago
6
Mina snapp verification question
#35
frisitano
closed
2 years ago
2
Add support of arbitrary byte container input/output for pack
#34
nkaskov
closed
2 years ago
0
Placeholder Circuit Performance Estimation
#33
SK0M0R0H
closed
1 year ago
0
Implement Redshift proof marshalling type
#32
nkaskov
closed
2 years ago
0
Implement Merkle proof marshalling type
#31
nkaskov
closed
2 years ago
0
Simultaneous Doubling for MSM
#30
SK0M0R0H
closed
2 years ago
0
Fixed-Based Scalar Multiplication Circuit
#29
SK0M0R0H
closed
2 years ago
0
Implement Pickles SNARK verification
#28
nkaskov
closed
1 year ago
1
Add pack and unpack algorithms for algebra
#27
nkaskov
closed
2 years ago
0
Add pack and unpack algorithms for multiprecision
#26
nkaskov
closed
2 years ago
0
RedShift Description
#25
nkaskov
closed
2 years ago
0
EC Arithmetic Circuit
#24
nkaskov
closed
2 years ago
0
Poseidon Circuit
#23
nkaskov
closed
2 years ago
0
Permutations Cosets
#22
nkaskov
closed
2 years ago
0
RedShift PlookUp
#21
nkaskov
closed
2 years ago
1
RedShift Commitment Details
#20
nkaskov
closed
2 years ago
0
RedShift Neighboring Row Use
#19
nkaskov
closed
2 years ago
0
LookUp/PlooKUp
#17
nkaskov
closed
2 years ago
0
Mina Arithmetic Сircuits
#16
nkaskov
closed
2 years ago
0
Mina Design Document Clarification
#15
nkaskov
closed
2 years ago
0
MSM Circuit
#14
nkaskov
closed
2 years ago
0
Mina Draft Document
#13
nkaskov
closed
2 years ago
1
Mina Verification Details
#12
nkaskov
closed
2 years ago
0
Add pack and unpack implementation for Placeholder types
#11
nkaskov
opened
2 years ago
0
Implement transcript and Fiat–Shamir heuristic
#10
nkaskov
closed
2 years ago
0
Implement FRI commitment scheme
#9
nkaskov
closed
2 years ago
0
Generalize marshalling interface
#8
nkaskov
closed
2 years ago
0
Add support of non-standard types hashing
#7
nkaskov
opened
2 years ago
0
Implement assembly-based backend
#6
nkaskov
closed
2 years ago
1
Generalize modular adaptor internals
#5
nkaskov
closed
2 years ago
0
Investigate possibility of constexpr gates and constraints implementation
#4
nkaskov
closed
2 years ago
0
Generalize polynomial representation
#3
nkaskov
closed
2 years ago
0
Implement PLONK syntax support
#2
nkaskov
closed
2 years ago
1
Implement Redshift Proof System
#1
nkaskov
closed
2 years ago
6
Previous