« first day (3721 days earlier)      last day (1034 days later) » 

8:42 AM
0
Q: Would questions asking for "formal verification" tools on-topic?

DannyNiuAs asked in the question, this post asks the topicallity of "formal verification" tools. I realize I have little experience with "formal verification" and I don't fully grasp its concepts. I saw this phrase from the round-3 official comment of NTRU Prime reacheable from here. This question asks Q...

 
3 hours later…
12:06 PM
1
Q: field element as the exponent of group element

SeanThe R1CS constraints are expressed over finite fields. Many proofing systems such as zkSnark use prover keys such as $g^{\alpha^0}, g^{\alpha^1}, ..., g^{\alpha^n}$ where $\alpha$ is a field element. I'm wondering are these field elements actually integers?


« first day (3721 days earlier)      last day (1034 days later) »