Prepare the artichokes by clipping off the top of the leaves, and cutting off the first inch of the vegetable. See the picture.
For the Microwave
Put the artichokes in a large microwave safe bowl, preferably one with a lid. Add the vinegar and salt. Cover, put in the microwave and cook on high about 12-15 minutes. You can tell the artichokes are done when a leaf comes away easily. Let stand in the microwave until the container is cool enough to handle, then place in the refrigerator and chill at least 2 hours.
For the Instant Pot
Put the artichokes in a steamer basket or on the included trivet. Add a cup of water. Add the bay leaf. Break the garlic clove into a few pieces with your hands or a knife. Add that to the pot and seal the lid. Set the Instant Pot for 9 minutes and use the Quick Release method when they are done.
For the Sauce
In the meantime, prepare the sauce by combining the remaining ingredients together in a medium bowl. Cover and refrigerate.
Serve the artichokes and sauce together with a large bowl for the discarded leaves. Enjoy!
Notes
The freeze-dried herbs from the Lite House people are really wonderful. You could try using regular dried herbs, but the end product will not be quite as good.
Scan for full nutrition info and step-by-step photos.