유동성 베이킹은 그라나다 제안의 주요 기능 중 하나입니다. 기능 자체는 다른 사람들 (Agora의 초기 제안, TZIP, Midl-dev의 프레젠테이션, XTZ.news의 프레젠테이션)에 의해 잘 설명되었으므로 여기에서는 자세히 설명하지 않습니다.
이 기능의 원래 측면은 균형이 매우 높은 스마트 계약에 의존한다는 것입니다. 이러한 이유로이 스마트 계약의 보안은 매우 중요하며 계약이 안전한지 확인하기 위해 많은 노력을 기울였습니다.
CPMM 계약에 대해 컴파일 된 Michelson 코드가 기능 사양과 관련하여 유효 함을 증명하기 위해 공식 검증을 사용했습니다. 과거에 보인 것처럼이 접근 방식은 구현의 정확성에 대한 신뢰를 높이지만 사양의 속성에 대해서는 거의 언급하지 않습니다. 특히 덱스터의 사양에 결함이 있었다. 유사한 함정을 피하기 위해 CPMM 계약에 대해 더 높은 수준의 보안 속성을 입증했으며 전체적인 유동성 베이킹 기능을 철저한 테스트에 적용했습니다.