Implement light certificates optimization

pkg/accountability/simpleacc/accountability.go

@@ -3,6 +3,7 @@ package simpleacc
 import (
 	"github.com/filecoin-project/mir/pkg/accountability/simpleacc/common"
 	"github.com/filecoin-project/mir/pkg/accountability/simpleacc/internal/certificates/fullcertificates"
+	"github.com/filecoin-project/mir/pkg/accountability/simpleacc/internal/certificates/lightcertificates"
 	incommon "github.com/filecoin-project/mir/pkg/accountability/simpleacc/internal/common"
 	"github.com/filecoin-project/mir/pkg/accountability/simpleacc/internal/poms"
 	"github.com/filecoin-project/mir/pkg/accountability/simpleacc/internal/predecisions"
@@ -92,6 +93,9 @@ func NewModule(mc ModuleConfig, params *ModuleParams, logger logging.Logger) (mo
 
 	predecisions.IncludePredecisions(m, &mc, params, state, logger)
 	fullcertificates.IncludeFullCertificate(m, &mc, params, state, logger)
+	if params.LightCertificates {
+		lightcertificates.IncludeLightCertificate(m, &mc, params, state, logger)
+	}
 	poms.IncludePoMs(m, &mc, params, state, logger)
 
 	return m, nil

pkg/accountability/simpleacc/internal/predecisions/predecisions.go

@@ -149,12 +149,21 @@ func ApplySigVerified(
 
 		accpbdsl.Decided(m, mc.App, sp.Predecision)
 
-		transportpbdsl.SendMessage(
-			m,
-			mc.Net,
-			accpbmsgs.FullCertificate(mc.Self,
-				state.DecidedCertificate),
-			maputil.GetKeys(params.Membership.Nodes))
+		if params.LightCertificates {
+			transportpbdsl.SendMessage(
+				m,
+				mc.Net,
+				accpbmsgs.LightCertificate(mc.Self,
+					sp.Predecision),
+				maputil.GetKeys(params.Membership.Nodes))
+		} else {
+			transportpbdsl.SendMessage(
+				m,
+				mc.Net,
+				accpbmsgs.FullCertificate(mc.Self,
+					state.DecidedCertificate),
+				maputil.GetKeys(params.Membership.Nodes))
+		}
 	}
 
 	return nil