File tree Expand file tree Collapse file tree 1 file changed +43
-1
lines changed
crates/brainfuck_prover/src/components/memory Expand file tree Collapse file tree 1 file changed +43
-1
lines changed Original file line number Diff line number Diff line change 1
- use stwo_prover:: core:: { channel:: Channel , fields:: qm31:: SecureField } ;
1
+ use super :: table:: MemoryElements ;
2
+ use crate :: components:: MemoryClaim ;
3
+ use stwo_prover:: {
4
+ constraint_framework:: { EvalAtRow , FrameworkComponent , FrameworkEval } ,
5
+ core:: { channel:: Channel , fields:: qm31:: SecureField } ,
6
+ } ;
7
+
8
+ pub type MemoryComponent = FrameworkComponent < MemoryEval > ;
9
+
10
+ #[ allow( dead_code) ]
11
+ pub struct MemoryEval {
12
+ log_size : u32 ,
13
+ memory_lookup_elements : MemoryElements ,
14
+ claimed_sum : SecureField ,
15
+ }
16
+
17
+ impl MemoryEval {
18
+ pub const fn new (
19
+ claim : & MemoryClaim ,
20
+ memory_lookup_elements : MemoryElements ,
21
+ interaction_claim : & InteractionClaim ,
22
+ ) -> Self {
23
+ Self {
24
+ log_size : claim. log_size ,
25
+ memory_lookup_elements,
26
+ claimed_sum : interaction_claim. claimed_sum ,
27
+ }
28
+ }
29
+ }
30
+
31
+ impl FrameworkEval for MemoryEval {
32
+ fn log_size ( & self ) -> u32 {
33
+ self . log_size
34
+ }
35
+
36
+ fn max_constraint_log_degree_bound ( & self ) -> u32 {
37
+ self . log_size + 1
38
+ }
39
+
40
+ fn evaluate < E : EvalAtRow > ( & self , mut _eval : E ) -> E {
41
+ todo ! ( )
42
+ }
43
+ }
2
44
3
45
/// The claim of the interaction phase 2 (with the logUp protocol).
4
46
///
You can’t perform that action at this time.
0 commit comments