Minor cleanups

internal/integration_test.go

@@ -13,16 +13,16 @@ import (
 	n= 25 total time = 2356.15s (29 minutes)
 
 
- */
+*/
 func TestBigNip(t *testing.T) {
 
 	x := make([]byte, 32)
 	_, err := rand.Read(x)
 	assert.NoError(t, err)
 
 	// with n=25 and 16GB ram:
-	// Map size:  67108863 entries ~20GB - runtime: 1034.77s
-	const n = 25
+	// Map size:  67108863 entries ~20GB in ram w map - runtime: 1034.77s
+	const n = 16
 
 	p, err := NewProver(x, n)
 	assert.NoError(t, err)
@@ -43,7 +43,7 @@ func TestBigNip(t *testing.T) {
 		res := v.Verify(c, proof)
 		assert.True(t, res, "failed to verify proof")
 
-		p.DeleteStore()
+		// p.DeleteStore()
 	})
 }
 

internal/prover.go

@@ -165,7 +165,7 @@ func (p *SMProver) GetNonInteractiveProof() (Proof, error) {
 
 func (p *SMProver) ComputeDag(callback shared.ProofCreatedFunc) {
 
-	N := math.Pow(2,float64(p.n+1)) - 1
+	N := math.Pow(2, float64(p.n+1)) - 1
 	fmt.Printf("Computing DAG(%d). Total nodes: %d\n", p.n, uint64(N))
 
 	rootLabel, err := p.computeDag(shared.RootIdentifier)
@@ -292,9 +292,9 @@ func (p *SMProver) computeLeafLabel(leafId Identifier) (shared.Label, error) {
 	// store it
 	p.writeLabel(leafId, label)
 
-	if bs.GetValue() % 100000 == 0 {
+	if bs.GetValue()%100000 == 0 {
 		i := bs.GetValue()
-		N := math.Pow(2,float64(p.n))
+		N := math.Pow(2, float64(p.n))
 		r := 100 * float64(i) / N
 
 		if r > 100 {

internal/store.go

@@ -54,7 +54,7 @@ func (d *KVFileStore) init() error {
 
 	// create buffer with default buf size
 	// tood: compare pref w/o buffers
-	d.bw = bufio.NewWriterSize(f, 4096 * 100000)
+	d.bw = bufio.NewWriterSize(f, 4096)
 
 	return nil
 }
@@ -148,14 +148,14 @@ func (d *KVFileStore) Write(id Identifier, l shared.Label) error {
 	//
 
 	/* no need to calc index or to WriteAt because writes are sequential
-		idx, err := d.calcFileIndex(id)
-		if err != nil {
-			return err
-		}
-
-		//fmt.Printf("Writing %d bytes in offset %d\n", len(l[:]), idx)
-		_, err = d.file.WriteAt(l[:], int64(idx))
+	idx, err := d.calcFileIndex(id)
+	if err != nil {
 		return err
+	}
+
+	//fmt.Printf("Writing %d bytes in offset %d\n", len(l[:]), idx)
+	_, err = d.file.WriteAt(l[:], int64(idx))
+	return err
 	*/
 }
 

main.go

@@ -29,7 +29,7 @@ func Playground() {
 
 	// with n=25 and 16GB ram:
 	// Map size:  67108863 entries ~20GB - runtime: 1034.77s
-	const n = 25
+	const n = 20
 
 	p, err := internal.NewProver(x, n)