monkeypatch: new circuit has different PubSignals index (drop this co…

…mmit before merge, breaks old circuit)

crypto/zk/prover/prover.go

@@ -14,6 +14,7 @@ import (
 	"github.com/iden3/go-rapidsnark/types"
 	"github.com/iden3/go-rapidsnark/verifier"
 	"github.com/iden3/go-rapidsnark/witness"
+	"go.vocdoni.io/dvote/log"
 	"go.vocdoni.io/dvote/tree/arbo"
 )
 
@@ -112,6 +113,7 @@ func (p *Proof) Nullifier() (*big.Int, error) {
 	}
 	// Get the nullifier from the third public signal of the proof
 	strNullifier := p.PubSignals[2]
+	log.Warn(strNullifier)
 	// Parse it into a big.Int
 	nullifier, ok := new(big.Int).SetString(strNullifier, 10)
 	if !ok {
@@ -120,12 +122,12 @@ func (p *Proof) Nullifier() (*big.Int, error) {
 	return nullifier, nil
 }
 
-// SIKRoot function returns the sIKRoot included into the current proof.
+// SIKRoot function returns the SIKRoot included into the current proof.
 func (p *Proof) SIKRoot() ([]byte, error) {
 	if p.PubSignals == nil || len(p.PubSignals) != DefaultPubSignals {
 		return nil, ErrPublicSignalFormat
 	}
-	arboSIK, ok := new(big.Int).SetString(p.PubSignals[5], 10)
+	arboSIK, ok := new(big.Int).SetString(p.PubSignals[6], 10)
 	if !ok {
 		return nil, ErrParsingSIKRoot
 	}