Their AES implementation uses old-school 2-share boolean masking [1], which has been shown to be insecure since 2005 [2][3]. A modern implementation would use domain-oriented masking [4], like OpenTitan does. Pretty bad look for Crossbar.
Very nice development towards more open hardware. And super powerful at that. The verification technique is alos super interesting. Have ordered a small set to play with, and to support the project.
There are also several RISC-V microcontrollers on run 1 of Wafer Space, hopefully some of those will also be available online soon.
https://github.com/wafer-space/ws-run1