github/Picus
1
1
Fork 0
mirror of https://github.com/Veridise/Picus.git synced 2026-05-11 03:00:06 -04:00
Code Issues Packages Projects Releases Wiki Activity

added r1cs->string

Browse Source 
ready for alignment testing
This commit is contained in:
chyanju
2022-04-07 14:22:12 -07:00
parent 618ddacce6
commit f442433297
1 changed files with 76 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

76
picus/r1cs.rkt
View File

@@ -239,4 +239,80 @@
; return
(r1cs magic-number version nsec hs0 cs0 ws0)
)
; returns a human readable list of strings of equations
; original form is A*B-C=0, but we do A*B=C
(define (r1cs->string arg-r1cs arg-id)
(define w2l (w2l-section-v (r1cs-w2l arg-r1cs))) ; w2l mapping, a list
(define clist (constraint-section-constraints (r1cs-constraint arg-r1cs))) ; a list of constraints
(define example-constraint (list-ref clist arg-id)) ; a constraint
(define example-block-a (constraint-a example-constraint))
(define example-block-b (constraint-b example-constraint))
(define example-block-c (constraint-c example-constraint))
; process block a
(define nnz-a (constraint-block-nnz example-block-a))
(define wids-a (constraint-block-wids example-block-a))
(define factors-a (constraint-block-factors example-block-a))
(define str-a (string-join
(for/list ([w0 wids-a] [f0 factors-a])
(string-join (list
"("
(number->string f0)
" * x"
(number->string (list-ref w2l w0))
")"
) "")
)
" + "
))
; process block b
(define nnz-b (constraint-block-nnz example-block-b))
(define wids-b (constraint-block-wids example-block-b))
(define factors-b (constraint-block-factors example-block-b))
(define str-b (string-join
(for/list ([w0 wids-b] [f0 factors-b])
(string-join (list
"("
(number->string f0)
" * x"
(number->string (list-ref w2l w0))
")"
) "")
)
" + "
))
; process block c
(define nnz-c (constraint-block-nnz example-block-c))
(define wids-c (constraint-block-wids example-block-c))
(define factors-c (constraint-block-factors example-block-c))
(define str-c (string-join
(for/list ([w0 wids-c] [f0 factors-c])
(string-join (list
"("
(number->string f0)
" * x"
; (number->string (list-ref w2l w0))
(number->string w0)
")"
) "")
)
" + "
))
(string-join
(list
"( "
(if (zero? (string-length str-a)) "0" str-a)
" ) * ( "
(if (zero? (string-length str-b)) "0" str-b)
" ) = "
(if (zero? (string-length str-c)) "0" str-c)
)
"")
)